Computationally Sound Mechanized Proofs of Correspondence Assertions.
Bruno BlanchetPublished in: CSF (2007)
Keyphrases
- equational theories
- theorem proving
- data mining
- information retrieval
- knowledge base
- decision trees
- correspondence matching
- mathematical proofs
- databases
- automated theorem provers
- formal proof
- stereo correspondence
- pixel wise
- theorem prover
- closed form
- multi agent
- image sequences
- image segmentation
- information systems