Representations of Stream Processors Using Nested Fixed Points

Neil Ghani Peter G. Hancock Dirk Pattinson

Published in: Log. Methods Comput. Sci. (2009)

Keyphrases

fixed point
approximate value iteration
data streams
temporal difference learning
dynamical systems
linear logic
sufficient conditions
asymptotic properties
belief propagation
free energy
computer vision
initial conditions
stationary points