Higher Order Unification via Explicit Substitutions.

Gilles Dowek Thérèse Hardin Claude Kirchner

Published in: Inf. Comput. (2000)

Keyphrases

higher order
high order
natural images
pairwise
low order
markov models
markov random field
anti unification
explicitly represented
machine learning
neural network
data sets
image processing
computer vision
databases
lower order
real time