A New Method for Strictness Analysis on Non-Flat Domains.
Simon B. JonesDaniel Le MétayerPublished in: Functional Programming (1989)
Keyphrases
- detection method
- high precision
- evaluation method
- synthetic data
- experimental evaluation
- error rate
- data analysis
- preprocessing
- image analysis
- detection algorithm
- cost function
- classification accuracy
- main contribution
- segmentation method
- computational cost
- optimization algorithm
- support vector machine svm
- high accuracy
- machine learning
- significant improvement
- pairwise
- computational complexity
- search algorithm
- optimal solution
- similarity measure
- learning algorithm