How to Delegate Computations: The Power of No-Signaling Proofs.

Yael Tauman Kalai Ran Raz Ron Rothblum

Published in: IACR Cryptol. ePrint Arch. (2013)

Keyphrases

power consumption
theorem proving
three dimensional
database
neural network
databases
information retrieval
genetic algorithm
computer vision
multiscale
multi agent
artificial neural networks
long term