Fast Sort Computations for Order-Sorted Matching and Unification.

Published in: Formal Modeling: Actors, Open Systems, Biological Systems (2011)

Keyphrases

matching algorithm
graph matching
matching process
keypoints
higher order
pattern matching
computer vision
ontology matching
image retrieval
image matching
theorem proving
predicate logic
order sorted