Make it real: Effective floating-point reasoning via exact arithmetic.

Miriam Leeser Saoni Mukherjee Jaideep Ramachandran Thomas Wahl

Published in: DATE (2014)

Keyphrases

floating point
square root
fixed point
instruction set
floating point arithmetic
knowledge base
interval arithmetic
similarity measure
image processing
knowledge representation
markov random field
fast fourier transform