Strictness Analysis Algorithms Based on an Inequality System for Lazy Types.
Hirofumi YokouchiPublished in: FLOPS (2008)
Keyphrases
- quantitative analysis
- recently developed
- orders of magnitude
- computationally efficient
- learning algorithm
- optimization problems
- statistical analysis
- theoretical analysis
- benchmark datasets
- computer vision
- databases
- search space
- significant improvement
- computational cost
- worst case
- linear programming
- knowledge base
- data mining algorithms
- artificial intelligence