A Machine-Checked Implementation of Buchberger's Algorithm.
Laurent ThéryPublished in: J. Autom. Reason. (2001)
Keyphrases
- times faster
- recognition algorithm
- learning algorithm
- parallel implementation
- optimization algorithm
- experimental evaluation
- computational cost
- matching algorithm
- cost function
- face recognition
- detection algorithm
- theoretical analysis
- computationally efficient
- linear programming
- preprocessing
- computational complexity
- optimal solution
- hardware implementation
- improved algorithm
- estimation algorithm
- selection algorithm
- single pass
- convergence rate
- convex hull
- classification algorithm
- ant colony optimization
- segmentation algorithm
- input data
- dynamic programming
- np hard
- artificial neural networks