Login / Signup
The fixed point property and a technique to harness double fixed point combinators.
Giulio Manzonetto
Andrew Polonsky
Alexis Saurin
Jakob Grue Simonsen
Published in:
J. Log. Comput. (2019)
Keyphrases
</>
fixed point
fixed point theorem
sufficient conditions
floating point
belief propagation
bargaining solution
constraint databases
dynamical systems
high quality
three dimensional
energy function
computer vision
graph cuts
function approximation
level set
policy iteration
free energy
state space