Decidability and Classification of the Theory of Integers with Primes.
Itay KaplanSaharon ShelahPublished in: J. Symb. Log. (2017)
Keyphrases
- classification accuracy
- pattern recognition
- classification systems
- machine learning algorithms
- feature space
- neural network
- text classification
- support vector
- decision trees
- support vector machine
- model selection
- artificial intelligence
- computational model
- class labels
- classification rules
- pattern classification
- automatic classification
- general theory
- preprocessing
- data sets
- theoretical basis
- classification scheme
- document classification
- cost sensitive
- classification method
- cross validation
- feature selection
- training set