Second-Order Matching modulo Evaluation: A Technique for Reusing Proofs.

Thomas Kolbe Christoph Walther

Published in: IJCAI (1995)

Keyphrases

matching algorithm
higher order
data sets
evaluation methods
evaluation method
feature points
shape matching
theorem proving
real time
pairwise
object recognition
logic programs
case study
image set
graph matching
data mining
matching process
gold standard
ontology matching