Buchberger's Algorithm: A Constraint-Based Completion Procedure.
Leo BachmairHarald GanzingerPublished in: CCL (1994)
Keyphrases
- learning algorithm
- times faster
- computational cost
- experimental evaluation
- np hard
- optimal solution
- feature space
- theoretical analysis
- dynamic programming
- objective function
- linear programming
- high accuracy
- optimization algorithm
- iterative procedure
- detection algorithm
- worst case
- least squares
- search procedure
- computational complexity
- cost function
- memory requirements
- similarity measure
- single pass
- computationally efficient
- preprocessing
- clustering method
- classification algorithm
- matching algorithm
- np complete
- expectation maximization
- image registration
- estimation algorithm
- search space
- graph based algorithm