A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers.
Sylvie BoldoFlorian FaissoleVincent TourneurPublished in: ARITH (2018)
Keyphrases
- detection algorithm
- computational complexity
- recognition algorithm
- optimal solution
- preprocessing
- theoretical analysis
- objective function
- cost function
- optimization algorithm
- experimental evaluation
- computational cost
- learning algorithm
- standard deviation
- selection algorithm
- segmentation algorithm
- improved algorithm
- dynamic programming
- np hard
- significant improvement
- estimation algorithm
- space complexity
- simulated annealing
- matching algorithm
- classification algorithm
- computationally efficient
- denoising
- similarity measure