Recursion for Higher-Order Encodings.

Carsten Schürmann

Published in: CSL (2001)

Keyphrases

higher order
high order
natural images
low order
complex objects
markov random field
pairwise
lower order
markov models
non binary
planning problems
case study
boolean satisfiability
deductive databases
genetic algorithm
transitive closure
conditional random fields
orders of magnitude
lambda calculus