The Warshall Algorithm and Dickson's Lemma: Two Examples of Realistic Program Extraction.
Ulrich BergerHelmut SchwichtenbergMonika SeisenbergerPublished in: J. Autom. Reason. (2001)
Keyphrases
- experimental evaluation
- single pass
- learning algorithm
- times faster
- dynamic programming
- detection algorithm
- real life
- selection algorithm
- convergence rate
- cost function
- search space
- improved algorithm
- preprocessing
- computer programs
- experimental study
- convex hull
- estimation algorithm
- simulated annealing
- significant improvement
- similarity measure
- segmentation algorithm
- theoretical analysis
- segmentation method
- high accuracy
- np hard
- multi objective
- recognition algorithm
- artificial neural networks
- optimal solution
- training data