Signature-Based Method of Deciding Program Termination.
Yaohui LiYuqing SongZhifeng WuPublished in: ASCM (2012)
Keyphrases
- main contribution
- detection method
- detection algorithm
- feature selection
- classification method
- prior knowledge
- mutual information
- data sets
- computationally efficient
- model selection
- evaluation method
- high precision
- segmentation method
- error rate
- clustering method
- support vector machine
- classification accuracy
- experimental evaluation
- artificial neural networks
- objective function
- neural network