Nominal Unification of Higher Order Expressions with Recursive Let.

Manfred Schmidt-Schauß Temur Kutsia Jordi Levy Mateu Villaret

Published in: LOPSTR (2016)

Keyphrases

higher order
natural images
high order
markov random field
pairwise
facial expressions
markov models
low order
recursive algorithm
recursive functions
database systems
lower order
natural language
iterative refinement
learning algorithm
evolutionary algorithm
similarity measure
image processing
search engine