Streaming Verification in Data Analysis.

Samira Daruki, Justin Thaler, Suresh Venkatasubramanian

Browse the full ISAAC paper archive.