Computing Least Fixed Points of Probabilistic Systems of Polynomials.

Javier Esparza Andreas Gaiser Stefan Kiefer

Published in: STACS (2010)

Keyphrases

fixed point
dynamical systems
initial conditions
distributed systems
free energy
computer vision
three dimensional
bayesian networks
sufficient conditions
stationary points
linear logic