Fixed points on abstract structures without the equality test.

Margarita V. Korovina

Published in: FICS (2002)

Keyphrases

fixed point
dynamical systems
linear logic
asymptotic properties
approximate value iteration
initial conditions
temporal difference learning
computer vision
maximum likelihood
sufficient conditions
three dimensional
higher order
belief propagation
stationary points