Login / Signup
A Local Graph-rewriting System for Deciding Equality in Sum-product Theories.
José Bacelar Almeida
Jorge Sousa Pinto
Miguel Vilaça
Published in:
Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
</>
sum product
rewriting systems
message passing
rewriting rules
belief propagation
graph databases
multi view
max product
bayesian networks
object recognition