Polymorphic higher-order recursive path orderings.

Jean-Pierre Jouannaud Albert Rubio

Published in: J. ACM (2007)

Keyphrases

higher order
high order
natural images
pairwise
data sets
low order
shortest path
markov random field
real world
query processing
real time
search algorithm
computer vision
conditional random fields
learning algorithm
optimal path
lower order
multiple paths
lambda calculus