Login / Signup
Implementing hash-consed structures in Coq
Thomas Braibant
Jacques-Henri Jourdan
David Monniaux
Published in:
CoRR (2013)
Keyphrases
</>
real world
formal methods
theorem prover
database
search algorithm
tree structures
image structure
efficient implementation
relational databases
information technology
feature space
learning environment
image segmentation
case study
decision trees
computer vision
neural network