Nominal Unification and Matching of Higher Order Expressions with Recursive Let.
Manfred Schmidt-SchaußTemur KutsiaJordi LevyMateu VillaretYunus D. K. KutzPublished in: Fundam. Informaticae (2022)
Keyphrases
- higher order
- natural images
- high order
- matching algorithm
- lower order
- graph matching
- pattern matching
- markov random field
- image sequences
- natural language
- facial expressions
- keypoints
- similarity measure
- neural network
- case study
- decision trees
- knowledge base
- information systems
- matching process
- feature matching
- ontology matching
- computer vision