Login / Signup
Higher-order multi-parameter tree transducers and recursion schemes for program verification.
Naoki Kobayashi
Naoshi Tabuchi
Hiroshi Unno
Published in:
POPL (2010)
Keyphrases
</>
higher order
tree structure
natural images
high order
pairwise
markov random field
input parameters
complex objects
tree structures
lower order
multiscale
np hard
multi dimensional
parameter settings
binary tree