A Strategy for the Production of Verifiable Code Using the B Method.
Andrew StoreyHoward P. HaughtonPublished in: FME (1994)
Keyphrases
- high accuracy
- fully automatic
- main contribution
- support vector machine
- objective function
- synthetic data
- detection method
- wavelet transform
- genetic algorithm
- significant improvement
- prior knowledge
- pairwise
- preprocessing
- computational cost
- experimental evaluation
- dynamic programming
- sufficient conditions
- support vector machine svm
- optimization algorithm
- k means
- mathematical model
- optimization method
- selection strategy