A pattern-based method for refining and formalizing informal specifications in critical control systems.
Mohamed GhazelJing YangEl-Miloudi El-KoursiPublished in: J. Innov. Digit. Ecosyst. (2015)
Keyphrases
- high accuracy
- classification method
- main contribution
- cost function
- support vector machine
- fully automatic
- error rate
- computational cost
- dynamic programming
- significant improvement
- prior knowledge
- preprocessing
- computational complexity
- experimental evaluation
- data sets
- pairwise
- feature set
- mutual information
- computationally efficient
- synthetic data
- experimental study
- mathematical model
- bayesian networks
- high precision
- genetic algorithm