Reachability in Higher-Order-Counters.

Alexander Heußner Alexander Kartzow

Published in: MFCS (2013)

Keyphrases

higher order
natural images
high order
pairwise
low order
state space
transitive closure
markov models
conditional random fields
lower order
markov random field
auxiliary variables
lambda calculus
databases
special case
preprocessing
search algorithm
three dimensional
machine learning