Bounded Higher-order Unification using Regular Terms.

Published in: UNIF (2012)

Keyphrases

higher order
pairwise
natural images
high order
markov random field
real time
neural network
real world
co occurrence
language model
theorem prover