Nominal Unification and Matching of Higher Order Expressions with Recursive Let.
Manfred Schmidt-SchaußTemur KutsiaJordi LevyMateu VillaretYunus D. K. KutzPublished in: CoRR (2021)
Keyphrases
- higher order
- high order
- matching algorithm
- markov random field
- natural images
- pairwise
- low order
- pattern matching
- correspondence matching
- database
- graph matching
- image matching
- natural language
- shape matching
- lower order
- image registration
- relational databases
- database systems
- image set
- computer vision
- string matching
- matching scheme
- learning algorithm
- mathematical expressions
- data sets