53 citations · 247 across the 33 of their papers we have counts for
Showing 2015 · cs.DSShow all
3 papers · 2 filters
cs.DS2015
A Framework for Estimating Stream Expression Cardinalities
Anirban Dasgupta, Kevin Lang, Lee Rhodes +1
Given distributed data streams , we consider the problem of estimating the number of unique identifiers in streams defined by set expressions over $A_1, \dots,…
cs.DS2015
Streaming Verification in Data Analysis
Samira Daruki, Justin Thaler, Suresh Venkatasubramanian
Streaming interactive proofs (SIPs) are a framework to reason about outsourced computation, where a data owner (the verifier) outsources a computation to the cloud (the prover), bu…
cs.DS2015
Stream Verification
Justin Thaler
We survey models and algorithms for stream verification.