A Certifying Square Root and Division Elimination.

Published in: Electron. Notes Theor. Comput. Sci. (2015)

Keyphrases

square root
kalman filtering
floating point
arrival rate
euclidean space
probability density function
medical images
fixed point
distance transform
machine learning
similarity measure