The Absence and the Presence of Fixed Point Combinators.

William McCune Larry Wos

Published in: Theor. Comput. Sci. (1991)

Keyphrases

fixed point
sufficient conditions
dynamical systems
variational inequalities
belief propagation
floating point
fixed point theorem
bargaining solution
computer vision
three dimensional
preprocessing
graphical models
policy iteration