How to delegate computations: the power of no-signaling proofs.

Yael Tauman Kalai Ran Raz Ron D. Rothblum

Published in: STOC (2014)

Keyphrases

power consumption
theorem prover
artificial intelligence
image processing
evolutionary algorithm
probabilistic model
databases
multimedia
face recognition
multiscale
learning environment
communication networks
power distribution
mathematical proofs