Fixed-Point Code Synthesis Based on Constraint Generation.

Sofiane Bessaï Dorra Ben Khalifa Hanane Benmaghnia Matthieu Martel

Published in: DASIP (2022)

Keyphrases

fixed point
sufficient conditions
floating point
fixed point theorem
dynamical systems
belief propagation
probabilistic model
variational inequalities
image segmentation
object recognition
pairwise
relational databases
graphical models
free energy