Loop invariants: Analysis, classification, and examples.
Carlo A. FuriaBertrand MeyerSergey VelderPublished in: ACM Comput. Surv. (2014)
Keyphrases
- classification accuracy
- automatic classification
- pattern recognition
- machine learning methods
- classification systems
- support vector
- pattern analysis
- class labels
- image classification
- text classification
- feature set
- classification rate
- classification scheme
- statistical analysis
- machine learning
- supervised learning
- support vector machine
- active learning
- feature space
- preprocessing
- image processing