Local Type Reconstruction by Means of Symbolic Fixed Point Iteration.

Published in: ESOP (1994)

Keyphrases

fixed point
sufficient conditions
dynamical systems
three dimensional
belief propagation
constraint databases
fixed point theorem
floating point
variational inequalities
database
image retrieval
high resolution
graphical models
free energy
bargaining solution