Building Formal Method Tools in the Isabelle/Isar Framework.
Makarius WenzelBurkhart WolffPublished in: TPHOLs (2007)
Keyphrases
- main contribution
- experimental evaluation
- pairwise
- synthetic data
- significant improvement
- dynamic programming
- high accuracy
- probabilistic model
- high resolution images
- segmentation method
- classification accuracy
- similarity measure
- image processing
- cost function
- k means
- software engineering
- preprocessing
- objective function
- high precision
- background subtraction
- formal model
- analysis tool
- neural network