A Novel Approach to High-Level Property Checking Using Wu's Method.
Zhi YangGuangsheng MaShu ZhangPublished in: DELTA (2008)
Keyphrases
- high level
- significant improvement
- clustering method
- high accuracy
- pairwise
- prior knowledge
- cost function
- computational cost
- low level
- optimization algorithm
- synthetic data
- dynamic programming
- optimization method
- experimental study
- probabilistic model
- high precision
- detection method
- evaluation method
- segmentation algorithm
- support vector machine svm
- main contribution
- mutual information
- neural network
- experimental evaluation
- preprocessing
- objective function
- genetic algorithm