Universal Unification and a Classification of Equational Theories.
Jörg H. SiekmannPeter SzabóPublished in: CADE (1982)
Keyphrases
- equational theories
- pattern recognition
- classification accuracy
- decision trees
- feature selection
- image classification
- supervised learning
- theorem proving
- classification algorithm
- support vector
- machine learning
- training set
- database
- feature set
- feature space
- support vector machine svm
- classification method
- feature vectors
- probability distribution
- general purpose
- higher order
- text classification
- class labels
- feature extraction