Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions.

Erich Grädel Stephan Kreutzer

Published in: LICS (2003)

Keyphrases

fixed point
sufficient conditions
belief propagation
dynamical systems
floating point
fixed point theorem
high quality
image processing
variational inequalities
bargaining solution
graphical models
least squares
probabilistic model
three dimensional
policy iteration
free energy
database