Applying a Formal Method in Industry: a 25-Year Trajectory.
Thierry LecomteDavid DéharbeÉtienne PrunErwan MottinPublished in: CoRR (2020)
Keyphrases
- significant improvement
- cost function
- experimental evaluation
- evaluation method
- computational complexity
- dynamic programming
- segmentation method
- detection method
- theoretical analysis
- main contribution
- segmentation algorithm
- medical images
- optimization method
- high precision
- mathematical model
- support vector machine svm
- case study
- mutual information
- support vector machine
- probabilistic model
- multiresolution
- similarity measure