Validating Mathematical Theorems and Algorithms with RISCAL.
Wolfgang SchreinerPublished in: CICM (2018)
Keyphrases
- computational efficiency
- learning algorithm
- optimization problems
- computational cost
- data structure
- orders of magnitude
- computational complexity
- evolutionary algorithm
- times faster
- computationally efficient
- databases
- query processing
- combinatorial optimization
- face recognition
- mathematical models
- knowledge discovery
- recently developed
- computationally expensive
- benchmark datasets
- recommender systems
- image processing
- neural network