Sign in
Fast Sort Computations for Order-Sorted Matching and Unification.
Steven Eker
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