New Verification Schemes for Frequency-Based Functions on Data Streams.

Published in: FSTTCS (2020)

Keyphrases

data streams
sliding window
heavy hitters
data sets
sensor networks
streaming data
change detection
model checking
mining data streams
data distribution
multi dimensional
low frequency
itemsets
face verification
stream processing
formal verification
data stream mining
neural network