Formal Correctness of Comparison Algorithms Between Binary64 and Decimal64 Floating-Point Numbers.
Arthur BlotJean-Michel MullerLaurent ThéryPublished in: NSV@CAV (2017)
Keyphrases
- learning algorithm
- artificial intelligence
- benchmark datasets
- databases
- theoretical analysis
- significant improvement
- computational complexity
- computational cost
- computationally efficient
- machine learning algorithms
- data structure
- data mining algorithms
- computational efficiency
- computationally expensive
- formal model
- non binary
- mathematical foundations