A Rule-based Algorithm for Rigid E-Unification.
Jean GoubaultPublished in: Kurt Gödel Colloquium (1993)
Keyphrases
- learning algorithm
- computational complexity
- optimization algorithm
- experimental evaluation
- dynamic programming
- computationally efficient
- experimental study
- computational cost
- improved algorithm
- objective function
- detection algorithm
- k means
- search space
- preprocessing
- recognition algorithm
- memory requirements
- times faster
- estimation algorithm
- single pass
- segmentation algorithm
- linear programming
- artificial neural networks
- optimal solution
- theoretical analysis
- expectation maximization
- input data
- high accuracy
- np hard
- selection algorithm
- significant improvement
- multi step