Derivation Lengths Classification of Gödel's T Extending Howard's Assignment
Gunnar WilkenAndreas WeiermannPublished in: Log. Methods Comput. Sci. (2012)
Keyphrases
- pattern recognition
- classification accuracy
- automatic classification
- artificial neural networks
- classification scheme
- class labels
- accuracy rate
- feature space
- classification process
- support vector
- feature extraction
- training samples
- data sets
- decision rules
- object classification
- classification rules
- automated classification
- classification systems
- supervised classification
- learning vector quantization
- support vector machine svm
- classification method
- feature set
- high dimensional
- training set
- preprocessing
- decision trees
- computer vision