Filtering Floating-Point Constraints by Maximum ULP.

Roberto Bagnara Matthieu Carlier Roberta Gori Arnaud Gotlieb

Published in: CoRR (2013)

Keyphrases

floating point
interval arithmetic
fixed point
square root
instruction set
constraint satisfaction
floating point arithmetic
similarity measure
input image
active contours
operating system
constraint programming
linear constraints