Finding Unsatisfiable Subformulas with Stochastic Method.
Jianmin ZhangShengYu ShenSikun LiPublished in: IDEAL (2007)
Keyphrases
- experimental evaluation
- main contribution
- similarity measure
- synthetic data
- detection method
- pairwise
- high precision
- error rate
- image sequences
- tree grammars
- method finds
- evaluation method
- theoretical analysis
- high accuracy
- preprocessing
- objective function
- em algorithm
- computationally efficient
- expectation maximization
- knn
- state space
- computational cost
- classification method
- prior knowledge
- machine learning