Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema.
Bruno BuchbergerAdrian CraciunPublished in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
- experimental evaluation
- learning algorithm
- selection algorithm
- k means
- theoretical analysis
- cost function
- times faster
- computational complexity
- detection algorithm
- optimal solution
- np hard
- computational cost
- matching algorithm
- optimization algorithm
- hardware implementation
- segmentation algorithm
- artificial intelligence
- dynamic programming
- image segmentation
- simulated annealing
- linear programming
- input data
- high accuracy
- worst case
- evolutionary algorithm
- clustering method
- artificial neural networks
- objective function
- similarity measure
- improved algorithm