Classification of Quantifier Prefixes Over Exponential Diophantine Equations.
James P. JonesHilbert LevitzA. J. WilkiePublished in: Math. Log. Q. (1986)
Keyphrases
- classification algorithm
- pattern recognition
- classification accuracy
- decision trees
- classification scheme
- pattern classification
- preprocessing
- supervised learning
- classification method
- classification systems
- support vector machine
- document classification
- machine learning methods
- benchmark datasets
- machine learning algorithms
- classification models
- text classification
- image classification
- automatic classification
- machine learning
- genetic algorithm
- cost sensitive
- quantifier elimination
- decision rules
- svm classifier
- text categorization
- unsupervised learning
- multiscale
- training data
- feature extraction
- feature selection