Towards a Meaning of 'M' in VDM: Specification Methodology Aspects of the Vienna Development Method (Invited Tutorial).
Dines BjørnerPublished in: TAPSOFT, Vol.2 (1989)
Keyphrases
- high accuracy
- computational cost
- experimental evaluation
- significant improvement
- machine learning
- fully automatic
- detection method
- support vector machine svm
- pairwise
- prior knowledge
- preprocessing
- data sets
- high precision
- similarity measure
- segmentation method
- synthetic data
- evaluation method
- evolutionary algorithm
- classification method
- mathematical model
- genetic algorithm
- clustering method
- detection algorithm
- objective function
- classification accuracy
- natural language
- dynamic programming