Requirements for Industrial-Strength Formal Method Tools.
Mark R. BlackburnRobert BusserPublished in: WIFT (1998)
Keyphrases
- significant improvement
- fully automatic
- similarity measure
- high precision
- preprocessing
- objective function
- detection method
- synthetic data
- probabilistic model
- support vector machine
- optimization algorithm
- support vector machine svm
- software tools
- neural network
- detection algorithm
- level set
- edge detection
- high accuracy
- dynamic programming
- cost function
- artificial neural networks
- multiscale
- feature extraction
- real world