A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product Algorithm.

Sylvie Boldo Diane Gallois-Wong Thibault Hilaire

Published in: ARITH (2020)

Keyphrases

fixed point
learning algorithm
dynamic programming
preprocessing
optimal solution
expectation maximization
floating point
computer vision
image segmentation
similarity measure
search space
probabilistic model
input data
bayesian framework
policy iteration