Reuse of Specification Patterns with the B Method.
Sandrine BlazyFrédéric GervaisRégine LaleauPublished in: ZB (2003)
Keyphrases
- high precision
- detection method
- high accuracy
- dynamic programming
- experimental evaluation
- synthetic data
- cost function
- neural network
- optimization method
- preprocessing
- mutual information
- computational cost
- segmentation method
- theoretical analysis
- support vector machine
- color images
- multiresolution
- objective function
- multiscale