paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Space-efficient Query Evaluation over Probabilistic Event Streams

概率事件流上的空间高效查询评估
LICS Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science2020匹配度 2/10 · 该论文研究概率字符串/事件流上的流式查询空间复杂度,属于自动机、逻辑与流算法理论,未涉及程序分析、静态分析、LLM/Agent 或浮点/贝叶斯程序分析。仅与“概率建模”有非常微弱的抽象关联,不在用户研究核心方向内。引用 2 inbox
Rajeev Alur, Yu Chen, Kishor Jothimurugan, Sanjeev Khanna
crossref: 2026-09-12

AI 速览

一句话:开启概率字符串上查询的流式空间复杂度研究,用概率分布序列建模流数据不确定性。

IoT 应用的实时决策依赖对流式数据查询进行空间高效评估,而数据处理中的分类常存在不确定性。本文将这种不确定性建模为概率字符串,即有限事件集合上离散概率分布构成的序列,并研究在此类概率字符串上,不同类别查询的流式计算所需的空间复杂度。论文开启了对概率事件流查询评估的空间复杂度研究,为该问题的模型定义与复杂度分析奠定基础;摘要未列出具体查询类或具体空间界限,贡献以理论问题提出与空间复杂度分析框架为主。

问题
在 IoT 等实时决策场景中,流式查询需要空间高效,但数据分类存在不确定性;需要处理概率事件流上的查询评估。
方法
将流数据建模为概率字符串,即有限事件集合上离散概率分布序列,并在流式计算模型下分析不同查询类别的空间复杂度。
评估
以理论空间复杂度分析进行评估,开启概率字符串上流式查询评估的研究;摘要未给出具体复杂度结果。
原文摘要(Abstract)

Real-time decision making in IoT applications relies upon space-efficient evaluation of queries over streaming data. To model the uncertainty in the classification of data being processed, we consider the model of probabilistic strings --- sequences of discrete probability distributions over a finite set of events, and initiate the study of space complexity of streaming computation for different classes of queries over such probabilistic strings.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot5524,
  title = {Space-efficient Query Evaluation over Probabilistic Event Streams},
  author = {Rajeev Alur and Yu Chen and Kishor Jothimurugan and Sanjeev Khanna},
  booktitle = {LICS},
  year = {2020},
  doi = {10.1145/3373718.3394747}
}