Login / Signup
Verifying computations without reexecuting them: from theoretical possibility to near-practicality.
Michael Walfish
Andrew J. Blumberg
Published in:
Electron. Colloquium Comput. Complex. (2013)
Keyphrases
</>
theoretical analysis
computer vision
decision making
theoretical basis
real time
databases
three dimensional
bayesian networks
data structure
pairwise