A formally grounded software specification method.
Christine ChoppyGianna ReggioPublished in: J. Log. Algebraic Methods Program. (2006)
Keyphrases
- experimental evaluation
- evaluation method
- significant improvement
- cost function
- dynamic programming
- detection method
- computer systems
- software design
- optimization method
- fully automatic
- high precision
- segmentation method
- clustering method
- support vector machine svm
- main contribution
- data sets
- mutual information
- high accuracy
- classification accuracy
- image segmentation
- neural network