On Proving the Termination of Algorithms by Machine.
Christoph WaltherPublished in: Artif. Intell. (1994)
Keyphrases
- orders of magnitude
- times faster
- computationally efficient
- learning algorithm
- significant improvement
- theoretical analysis
- graph theory
- data structure
- support vector
- computationally expensive
- computational cost
- computational efficiency
- data sets
- optimization problems
- benchmark datasets
- machine learning algorithms
- worst case
- computational complexity
- case study
- databases