A method of refinement in UML-B.
Mar Yah SaidMichael J. ButlerColin F. SnookPublished in: Softw. Syst. Model. (2015)
Keyphrases
- significant improvement
- detection method
- high accuracy
- preprocessing
- experimental evaluation
- neural network
- cost function
- fully automatic
- feature set
- objective function
- synthetic data
- optimization method
- clustering method
- support vector machine svm
- model selection
- denoising
- object oriented
- classification accuracy
- computational cost
- pairwise