Sign in
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:
EuroSys (2013)
Keyphrases
</>
conflict resolution
data sets
information retrieval
efficient computation
real time
artificial intelligence
cooperative
neural network
machine learning
image processing
website
decision trees
feature extraction
information technology
special case
efficiently computing