Muller message-passing automata and logics.
Benedikt BolligDietrich KuskePublished in: Inf. Comput. (2008)
Keyphrases
- message passing
- belief propagation
- distributed systems
- cellular automata
- shared memory
- approximate inference
- probabilistic inference
- sum product algorithm
- factor graphs
- inference in graphical models
- distributed shared memory
- ldpc codes
- sum product
- markov random field
- three dimensional
- junction tree
- loopy belief propagation
- graph cuts
- matrix multiplication
- image segmentation