Login / Signup
Resolving the conflict between generality and plausibility in verified computation.
Srinath T. V. Setty
Benjamin Braun
Victor Vu
Andrew J. Blumberg
Bryan Parno
Michael Walfish
Published in:
IACR Cryptol. ePrint Arch. (2012)
Keyphrases
</>
information retrieval
database systems
real time
machine learning
three dimensional
cooperative
object recognition
lower bound
trade off