Extending enumerative function synthesis via SMT-driven classification.
Haniel BarbosaAndrew ReynoldsDaniel LarrazCesare TinelliPublished in: FMCAD (2019)
Keyphrases
- classification accuracy
- support vector
- pattern classification
- classification scheme
- pattern recognition
- image classification
- classification process
- data driven
- classification systems
- machine learning
- feature selection
- classification algorithm
- feature space
- decision trees
- supervised classification
- training samples
- classification method
- classification rate
- cost sensitive
- support vector machine svm
- decision rules
- svm classifier
- kernel function
- unsupervised learning
- text classification
- information retrieval