Implementation of Higher-Order Unification Based on Calculus of Explicit Substitution.

Peter Borovanský

Published in: SOFSEM (1995)

Keyphrases

higher order
natural images
pairwise
implementation details
high order
conditional random fields
markov random field
low order
image processing
lower order
general purpose
input image
multi agent
efficient implementation
artificial intelligence
implementation issues
information retrieval
neural network