A Method to Generate Verification Condition Generator.
Zhaopeng LiYang ZhangYiyun ChenPublished in: TASE (2011)
Keyphrases
- experimental evaluation
- computational cost
- detection method
- significant improvement
- evaluation method
- detection algorithm
- pairwise
- image processing
- support vector machine
- error rate
- synthetic data
- input data
- classification accuracy
- segmentation method
- high precision
- optimization method
- generation method
- markov random field
- high accuracy
- neural network
- dynamic programming
- cost function
- prior knowledge
- training set
- preprocessing
- support vector
- similarity measure
- computer vision