Delegating Computation: Interactive Proofs for Muggles.

Shafi Goldwasser Guy N. Rothblum Yael Tauman Kalai

Published in: Electron. Colloquium Comput. Complex. (2017)

Keyphrases

virtual reality
data mining
computer graphics
user friendly
efficiently computing
interactive learning
graphical interface
databases
knowledge base
image processing
image segmentation
virtual environment
theorem proving
interactive video