Validated Numerics: Algorithms and Practical Applications in Aerospace.
Mioara JoldesPublished in: ISSAC (2022)
Keyphrases
- times faster
- databases
- neural network
- learning algorithm
- database
- computationally expensive
- benchmark datasets
- theoretical analysis
- computationally intensive
- combinatorial optimization
- orders of magnitude
- machine learning algorithms
- computationally efficient
- optimization problems
- nearest neighbor
- computational cost
- dynamic programming
- evolutionary algorithm
- bayesian networks
- website
- image processing