Classification of Alignments Between Concepts of Formal Mathematical Systems.
Dennis MüllerThibault GauthierCezary KaliszykMichael KohlhaseFlorian RabePublished in: CICM (2017)
Keyphrases
- pattern recognition
- classification systems
- decision trees
- mathematical theory
- automatic classification
- classification accuracy
- pattern classification
- expert systems
- support vector machine
- machine learning algorithms
- text classification
- classification process
- neural network
- training data
- feature extraction
- data mining
- training samples
- image classification
- benchmark datasets
- complex systems
- classification algorithm
- feature space
- classification scheme
- information systems