Using VDM in an Object-Oriented Development Method for Ada Software.
Chris ChedgeySeamus KearneyHans-Jürgen KuglerPublished in: VDM Europe (1987)
Keyphrases
- dynamic programming
- preprocessing
- development process
- cost function
- synthetic data
- similarity measure
- objective function
- multiscale
- optimization method
- fully automatic
- segmentation method
- high accuracy
- significant improvement
- mutual information
- detection algorithm
- support vector machine
- high precision
- computational cost
- experimental evaluation