Login / Signup
Formalization of an Algorithm for Greedily Computing Associative Aggregations on Sliding Windows.
Lukas Heimes
Dmitriy Traytel
Joshua Schneider
Published in:
Arch. Formal Proofs (2020)
Keyphrases
</>
data sets
sliding window
computational complexity
data streams
space efficient
fixed size
window size
computationally efficient
estimation algorithm
variable size
streaming data
bayesian model
high speed data streams