Systematic Transformation Method from UML to Event-B.
Xue GengSheng-rong ZouJu-yi YaoPublished in: QRS Companion (2022)
Keyphrases
- synthetic data
- detection method
- clustering method
- significant improvement
- dynamic programming
- high accuracy
- objective function
- preprocessing
- computational cost
- input data
- high precision
- neural network
- classification method
- segmentation method
- detection algorithm
- mutual information
- prior knowledge
- computational complexity
- decision trees