Extending Coq with Imperative Features and Its Application to SAT Verification.

Michaël Armand Benjamin Grégoire Arnaud Spiwack Laurent Théry

Published in: ITP (2010)

Keyphrases

data sets
feature extraction
low level
classification accuracy
formal methods
neural network
decision trees
face recognition
feature space
image features
spatial information