Solving Fixed-Point Equations by Derivation Tree Analysis.

Javier Esparza Michael Luttenberger

Published in: CALCO (2011)

Keyphrases

fixed point
constraint databases
image segmentation
stationary points
relational databases
dynamic programming
graphical models