Streaming Verification in Data Analysis

DOI10.1007/978-3-662-48971-0_60zbMath1472.68218arXiv1509.05514OpenAlexW2211911520MaRDI QIDQ3459909

Samira Daruki, Justin Thaler, Suresh Venkatasubramanian

Publication date: 11 January 2016

Published in: Algorithms and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1509.05514

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Online algorithms; streaming algorithms (68W27) Computational aspects of data analysis and big data (68T09)

Related Items (3)

A Hierarchy Theorem for Interactive Proofs of Proximity ⋮ Non-interactive proofs of proximity ⋮ Verifiable Stream Computation and Arthur--Merlin Communication

This page was built for publication: Streaming Verification in Data Analysis