Abstract Completeness.

Jasmin Christian Blanchette Andrei Popescu Dmitriy Traytel

Published in: Arch. Formal Proofs (2014)

Keyphrases

formal proofs
database
data sets
neural network
machine learning
artificial intelligence
computer vision
case study
pattern recognition
lower bound
information technology
training set
email
special case
management system
data warehouse