Bounded Fixed-Point Definability and Tabular Recognition of Languages.

Published in: TAPD (1998)

Keyphrases

fixed point
sufficient conditions
dynamical systems
object recognition
fixed point theorem
belief propagation
image processing
policy iteration
database
floating point
expressive power
constraint databases
free energy
post processing
dynamic programming
computer vision
databases