Login / Signup
Event clock message passing automata: a logical characterization and an emptiness checking algorithm.
S. Akshay
Benedikt Bollig
Paul Gastin
Published in:
Formal Methods Syst. Des. (2013)
Keyphrases
</>
message passing
dynamic programming
factor graphs
optimal solution
computer vision
computational complexity
linear programming
preprocessing
k means
np hard
distributed systems
loopy belief propagation
similarity measure
matching algorithm
belief propagation