Nominal Unification of Higher Order Expressions with Recursive Let.

Manfred Schmidt-Schauß Temur Kutsia Jordi Levy Mateu Villaret

Published in: CoRR (2016)

Keyphrases

higher order
high order
natural images
markov random field
pairwise
facial expressions
lower order
neural network
markov models
natural language
databases
recursive functions
object recognition
decision trees
computer vision
search engine
theorem proving
real world
mathematical expressions