Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis.
Chris HankinDaniel Le MétayerPublished in: POPL (1994)
Keyphrases
- data structure
- expert systems
- learning algorithm
- theoretical analysis
- data analysis
- intelligent systems
- optimization problems
- management system
- inference problems
- machine learning
- computer vision algorithms
- recently developed
- computationally efficient
- knowledge based systems
- significant improvement
- image analysis
- computational complexity
- bayesian networks
- artificial intelligence
- data warehouse
- worst case
- optimal solution
- computational efficiency
- times faster
- search engine
- key technologies
- information retrieval