Fixed point combinators as fixed points of higher-order fixed point generators.
Andrew PolonskyPublished in: Log. Methods Comput. Sci. (2020)
Keyphrases
- fixed point
- higher order
- sufficient conditions
- initial conditions
- dynamical systems
- bargaining solution
- stationary points
- variational inequalities
- belief propagation
- approximate value iteration
- fixed point theorem
- free energy
- conditional random fields
- markov random field
- temporal difference learning
- image processing
- message passing
- logic programs
- similarity measure
- closure operator
- three dimensional
- computer vision