Classical realizability as a classifier for nondeterminism.
Guillaume GeoffroyPublished in: LICS (2018)
Keyphrases
- decision trees
- training data
- support vector
- feature selection
- classification scheme
- classification models
- svm classifier
- learning algorithm
- nearest neighbor classifier
- feature space
- training set
- training samples
- classification method
- classification algorithm
- decision tree classifiers
- support vector machine
- clustering algorithm
- class labels
- orders of magnitude
- situation calculus
- high dimensional
- classification process
- text classifiers
- binary classifiers
- bayesian classifier
- classifier combination
- genetic algorithm