Login / Signup
New Verification Schemes for Frequency-Based Functions on Data Streams.
Prantar Ghosh
Published in:
CoRR (2020)
Keyphrases
</>
data streams
heavy hitters
sensor networks
change detection
sliding window
model checking
concept drift
data distribution
asynchronous circuits
data streaming
data sets
multi dimensional
sensor data
outlier detection
streaming data
face verification
formal verification