Partial Matching for Analogy Discovery in Proofs and Counter-Examples.
Gilles DéfourneauxNicolas PeltierPublished in: CADE (1997)
Keyphrases
- partial matching
- counter examples
- matching algorithm
- shape matching
- interactive theorem proving
- d objects
- logic programs
- representation scheme
- histogram intersection
- transformation parameters
- bounded model checking
- machine learning
- x ray
- deformable models
- global optimization
- medical images
- markov random field
- programming language