Proving Formally the Implementation of an Efficient gcd Algorithm for Polynomials.
Assia MahboubiPublished in: IJCAR (2006)
Keyphrases
- dynamic programming
- cost function
- optimization algorithm
- detection algorithm
- theoretical analysis
- high accuracy
- computational cost
- experimental evaluation
- times faster
- computational complexity
- learning algorithm
- hardware implementation
- matching algorithm
- search space
- worst case
- expectation maximization
- single pass
- selection algorithm
- ant colony optimization
- memory efficient
- particle swarm optimization
- k means
- feature space
- preprocessing
- optimal solution
- objective function
- decision trees