The Higher-Order Recursive Path Ordering.

Jean-Pierre Jouannaud Albert Rubio

Published in: LICS (1999)

Keyphrases

higher order
natural images
high order
pairwise
multi valued
databases
markov random field
lambda calculus
recursive algorithm
optimal path
markov models
database systems
conditional random fields
labeling scheme
low order
shortest path
multiple paths