Some Fixed-Point Issues in PPTL.

Zhenhua Duan Qian Ma Cong Tian Nan Zhang

Published in: Theories of Programming and Formal Methods (2013)

Keyphrases

fixed point
sufficient conditions
belief propagation
floating point
graphical models
variational inequalities
constraint databases
fixed point theorem
high quality
least squares
higher order
free energy