Login / Signup

Analysis of Message Passing Programs Using SMT-Solvers.

Parosh Aziz AbdullaMohamed Faouzi AtigJonathan Cederberg
Published in: ATVA (2013)
Keyphrases
  • message passing
  • belief propagation
  • image processing
  • higher order
  • factor graphs
  • markov random field
  • image matching
  • constraint satisfaction
  • probabilistic inference