Reasoning about Noisy Sensors in the Situation Calculus
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
We propose a SAO index to approximately answer arbitrary linear optimization queries in a sliding window of a data stream. It uses limited memory to maintain the most "important" tuples. At any time, for any linear optimization query, we can retrieve the approximate top-K tuples in the sliding window almost instantly. The larger the amount of available memory, the better the quality of the answers is. More importantly, for a given amount of memory, the quality of the answers can be further improved by dynamically allocating a larger portion of the memory to the outer layers of the SAO index. © Springer-Verlag London Limited 2008.
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
Sashi Novitasari, Takashi Fukuda, et al.
INTERSPEECH 2025
Hannah Kim, Celia Cintas, et al.
IJCAI 2023
Conrad Albrecht, Jannik Schneider, et al.
CVPR 2025