Interactive proofs of proximity: delegating computation in sublinear time.

Guy N. Rothblum Salil P. Vadhan Avi Wigderson

Published in: STOC (2013)

Keyphrases

databases
neural network
virtual reality
interactive exploration
real time
data sets
social networks
information systems
web services
video sequences
data analysis
user interaction
theorem proving
efficient computation