Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations.

Tetsuo Ida Mircea Marin Taro Suzuki

Published in: EUROCAST (2001)

Keyphrases

higher order
natural images
high order
pairwise
low order
lambda calculus
markov models
database
conditional random fields
neural network
markov random field
information systems
objective function
expressive power
lower order