Remarks on classification of theories by their complete extensions.
Karel L. de BouvèrePublished in: Notre Dame J. Formal Log. (1969)
Keyphrases
- classification accuracy
- classification method
- pattern recognition
- classification scheme
- support vector machine
- object classification
- feature space
- feature vectors
- machine learning methods
- training samples
- class labels
- artificial intelligence
- supervised classification
- automatic classification
- pattern classification
- classification algorithm
- decision rules
- theoretical framework
- recognition rate
- training set
- support vector
- feature extraction
- principal component analysis
- decision trees
- machine learning
- classification systems
- classification process