Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis.
Michael CodishDennis DamsEyal YardeniPublished in: ICLP (1991)
Keyphrases
- preprocessing
- learning algorithm
- times faster
- worst case
- dynamic programming
- significant improvement
- k means
- optimal solution
- experimental evaluation
- theoretical analysis
- search space
- np hard
- detection algorithm
- association rules
- search algorithm
- face recognition
- image processing
- linear programming
- computationally efficient
- optimization algorithm
- genetic algorithm