Managing Verification Activities Using SVM.
Bill AldrichAnsgar FehnkerPeter H. FeilerZhi HanBruce H. KroghEric LimShiva SivashankarPublished in: ICFEM (2004)
Keyphrases
- support vector
- support vector machine svm
- support vector machine
- feature selection
- knn
- training data
- multi class
- management tools
- svm classifier
- activity recognition
- pattern recognition
- training set
- human activities
- face verification
- generalization ability
- model checking
- ls svm
- formal methods
- svm classification
- kernel methods
- classification algorithm
- loss function
- daily life
- support vectors
- face detection
- k nearest neighbor
- formal verification
- image classification
- verification method
- multi class svm