Classification of Quantifier Prefixes Over Diophantine Equations.
James P. JonesPublished in: Math. Log. Q. (1981)
Keyphrases
- classification accuracy
- support vector machine
- pattern recognition
- classification scheme
- machine learning
- feature vectors
- classification process
- object classification
- supervised learning
- support vector
- feature extraction
- feature selection
- data sets
- classification systems
- supervised classification
- classification rules
- classification method
- cross validation
- class labels
- training samples
- model selection
- image classification
- multi class
- benchmark datasets
- svm classifier
- classification algorithm
- unsupervised learning
- incremental learning
- document classification
- automatic classification
- decision trees
- text classification
- classification rate
- feature space