Uses of Verified Methods for Solving Non-Smooth Initial Value Problems.
Ekaterina AuerStefan KielPublished in: Reliab. Comput. (2013)
Keyphrases
- search methods
- learning algorithm
- constrained problems
- methods can be applied
- integer linear programming
- problems in computer vision
- alternative methods
- solving problems
- empirical studies
- computational cost
- lower bound
- convex optimization
- machine learning methods
- benchmark datasets
- difficult problems
- control problems
- data mining
- convex quadratic programming