Higher-order Unification with Dependent Function Types.

Published in: RTA (1989)

Keyphrases

higher order
natural images
high order
databases
pairwise
low order
markov models
anti unification
piecewise linear
conditional random fields
linear combination
special case
search algorithm
three dimensional
image segmentation
social networks
artificial intelligence