Login / Signup

Higher-order multi-parameter tree transducers and recursion schemes for program verification.

Naoki KobayashiNaoshi TabuchiHiroshi 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