From Algorithms to Working Programs on the Use of Program Checking in LEDA.
Kurt MehlhornStefan NäherPublished in: IFIP Congress: Fundamentals - Foundations of Computer Science (1998)
Keyphrases
- learning algorithm
- benchmark datasets
- machine learning
- computer programs
- computational complexity
- neural network
- optimization problems
- programming environment
- computationally expensive
- computational cost
- significant improvement
- np complete
- computationally efficient
- data structure
- objective function
- times faster
- recently developed
- computer vision
- genetic algorithm
- automatic programming
- program execution