On Gabbay's Temporal Fixed Point Operator.

Ian M. Hodkinson

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

Keyphrases

fixed point
sufficient conditions
belief propagation
floating point
temporal data
dynamical systems
temporal information
variational inequalities
temporal patterns
higher order
database
search space
least squares
free energy
constraint databases