Transformational Construction of Correct Pointer Algorithms.
Thorsten EhmPublished in: Ershov Memorial Conference (2001)
Keyphrases
- data structure
- orders of magnitude
- learning algorithm
- computational complexity
- optimization problems
- website
- training set
- significant improvement
- worst case
- computational cost
- construction process
- recently developed
- computational efficiency
- benchmark datasets
- machine learning algorithms
- theoretical analysis
- simulated annealing
- database
- search algorithm
- image sequences
- decision trees
- machine learning