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
Masami Akamine, Jitendra Ajmera
IEICE Trans Inf Syst
Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
Guojing Cong, David A. Bader
Journal of Parallel and Distributed Computing