Evaluation of model checkers by verifying message passing programs.

Weijiang Hong Zhenbang Chen Hengbiao Yu Ji 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