Sign in

Evaluation of model checkers by verifying message passing programs.

Weijiang HongZhenbang ChenHengbiao YuJi Wang
Published in: Sci. China Inf. Sci. (2019)
Keyphrases
  • message passing
  • probabilistic model
  • similarity measure
  • object recognition
  • reinforcement learning
  • image retrieval
  • distributed systems
  • belief propagation
  • factor graphs
  • sum product algorithm