Nominal Unification from a Higher-Order Perspective.

Jordi Levy Mateu Villaret

Published in: ACM Trans. Comput. Log. (2012)

Keyphrases

higher order
high order
natural images
pairwise
viewpoint
markov random field
conditional random fields
low order
bayesian networks
database
data structure
computational complexity