Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties.
Yliès FalconeJean-Claude FernandezLaurent MounierPublished in: ICISS (2008)
Keyphrases
- pattern recognition
- classification accuracy
- text classification
- image classification
- feature selection
- support vector
- classification systems
- object classification
- decision trees
- classification process
- cross validation
- decision rules
- pattern classification
- feature extraction
- classification method
- incremental learning
- machine learning algorithms
- support vector machine svm
- supervised classification
- training data
- classification scheme
- eeg signals
- training samples
- classification algorithm
- benchmark datasets
- databases
- model selection
- supervised learning
- support vector machine
- feature space
- machine learning