Formally Verified Argument Reduction with a Fused Multiply-Add.

Sylvie Boldo Marc Daumas Ren-Cang Li

Published in: IEEE Trans. Computers (2009)

Keyphrases

data fusion
reduction method
neural network
computer vision
knowledge base
computational complexity
probabilistic model
data reduction
fusion method
legal knowledge