A Formal Method Experience at Secure Computing Corporation.
John HoffmanCharlie PaynePublished in: CAV (1998)
Keyphrases
- cost function
- segmentation method
- high precision
- main contribution
- detection method
- high accuracy
- synthetic data
- evaluation method
- computational complexity
- preprocessing
- significant improvement
- dynamic programming
- experimental evaluation
- data sets
- image quality
- highly efficient
- support vector machine svm
- theoretical analysis
- computationally efficient
- level set
- similarity measure
- neural network