A Decidable Variant of Higher Order Matching.

Daniel J. Dougherty Tomasz Wierzbicki

Published in: RTA (2002)

Keyphrases

higher order
matching algorithm
high order
graph matching
matching process
lambda calculus
keypoints
feature matching
database
neural network
pairwise
similarity measure
feature points
conditional random fields
transitive closure
lower order