A verified Common Lisp implementation of Buchberger's algorithm in ACL2.
Inmaculada Medina-BuloFrancisco Palomo-LozanoJosé-Luis Ruiz-ReinaPublished in: J. Symb. Comput. (2010)
Keyphrases
- detection algorithm
- optimization algorithm
- learning algorithm
- experimental study
- computational cost
- single pass
- parallel implementation
- times faster
- experimental evaluation
- computational complexity
- hardware implementation
- improved algorithm
- high accuracy
- computationally efficient
- preprocessing
- np hard
- objective function
- optimal solution
- segmentation algorithm
- linear programming
- dynamic programming
- theoretical analysis
- least squares
- support vector machine
- selection algorithm
- significant improvement
- image sequences
- neural network