Elements of Stream Calculus (An Extensive Exercise in Coinduction).

Jan J. M. M. Rutten

Published in: MFPS (2001)

Keyphrases

data streams
real time
real world
stream data
database
streaming data
continuous queries
heavy hitters
information retrieval
computer vision
clustering algorithm
sliding window
algebraic structure