Reachability in Higher-Order-Counters.

Alexander Heußner Alexander Kartzow

Published in: CoRR (2013)

Keyphrases

higher order
high order
natural images
state space
pairwise
markov random field
lower order
markov models
transitive closure
data sets
database systems
data structure
support vector
conditional random fields
floating point