Unification and Matching in Hierarchical Combinations of Syntactic Theories.
Serdar ErbaturDeepak KapurAndrew M. MarshallPaliath NarendranChristophe RingeissenPublished in: FroCos (2015)
Keyphrases
- matching algorithm
- equational theories
- pattern matching
- feature points
- higher order
- keypoints
- image matching
- graph matching
- theoretical framework
- template matching
- coarse to fine
- semantic representation
- affine invariant
- recognition of partially occluded
- machine learning
- cognitive psychology
- theorem proving
- shape matching
- information systems
- computer vision
- information retrieval