Partial redundancy elimination: a simple, pragmatic, and provably correct algorithm.
Vineeth Kumar PaleriY. N. SrikantPriti ShankarPublished in: Sci. Comput. Program. (2003)
Keyphrases
- provably correct
- improved algorithm
- cost function
- times faster
- theoretical analysis
- dynamic programming
- learning algorithm
- lower bound
- search space
- k means
- significant improvement
- preprocessing
- optimal solution
- simulated annealing
- segmentation algorithm
- detection algorithm
- situation calculus
- machine learning
- recognition algorithm
- error estimates
- matching algorithm
- optimization algorithm
- computational cost
- computational complexity
- image sequences
- artificial intelligence