Login / Signup
Formally Verified System Initialisation.
Andrew Boyton
June Andronick
Callum Bannister
Matthew Fernandez
Xin Gao
David Greenaway
Gerwin Klein
Corey Lewis
Thomas Sewell
Published in:
ICFEM (2013)
Keyphrases
</>
databases
neural network
real world
information retrieval
computer vision
web services
training data
high quality
pattern recognition
mobile devices