Specification and Transformation. Methodology Aspects of the Vienna Development Method - Towards a Meaning of 'M' in VDM.
Dines BjørnerPublished in: Formal Description of Programming Concepts (1989)
Keyphrases
- preprocessing
- high precision
- significant improvement
- experimental evaluation
- fully automatic
- input data
- objective function
- pairwise
- classification accuracy
- classification method
- segmentation method
- detection method
- high accuracy
- synthetic data
- matching algorithm
- conceptual model
- statistical methods
- linear transformation
- clustering method
- mutual information
- neural network
- software engineering
- knn
- cost function
- computational complexity
- feature extraction
- e learning
- genetic algorithm