Keyphrases
- support vector machine
- svm classifier
- generalization ability
- support vector
- feature vectors
- multi class
- feature selection
- training data
- model checking
- k nearest neighbor
- svm classification
- kernel methods
- support vector machine svm
- classification algorithm
- small sample
- hyperplane
- classification method
- knn
- machine learning
- functional verification
- real time
- verification method
- multi class support vector machines
- formal analysis
- formal methods
- radial basis function
- feature space
- data mining
- data sets