Krivine machines and higher-order schemes.

Sylvain Salvati Igor Walukiewicz

Published in: Inf. Comput. (2014)

Keyphrases

higher order
high order
pairwise
markov random field
natural images
markov models
low order
computer vision
information systems
multiscale
lower bound
input image
learning machines
lambda calculus