Sampling, Splitting and Merging in Coinductive Stream Calculus.

Milad Niqui Jan J. M. M. Rutten

Published in: MPC (2010)

Keyphrases

data streams
random sampling
sliding window
sampling algorithm
decision trees
sampling strategy
real time
sampling strategies
genetic algorithm
monte carlo
provably correct
formal language
stream processing
sampling methods
streaming data
sample size
video sequences
information retrieval
data mining
databases