Towards Dynamic Population Management of Abstract Machines in the B Method.
Nazareno AguirreJuan BicarreguiTheodosis DimitrakosT. S. E. MaibaumPublished in: ZB (2003)
Keyphrases
- experimental evaluation
- high accuracy
- detection method
- management system
- support vector machine
- significant improvement
- neural network
- clustering method
- preprocessing
- similarity measure
- cost function
- computational cost
- support vector
- objective function
- denoising
- multiscale
- edge detection
- theoretical analysis
- support vector machine svm
- optimization algorithm
- data sets
- classification method
- high precision