PAR: A Practicable Formal Method and Its Supporting Platform.
Jinyun XueYujun ZhengQimin HuZhen YouWuping XieZhuo ChengPublished in: ICFEM (2018)
Keyphrases
- pairwise
- detection method
- experimental evaluation
- computational cost
- objective function
- prior knowledge
- theoretical analysis
- evaluation method
- clustering method
- main contribution
- em algorithm
- classification accuracy
- dynamic programming
- significant improvement
- computational complexity
- probabilistic model
- preprocessing
- support vector machine svm
- detection algorithm
- optimal solution
- experimental study
- mathematical model
- high precision
- fully automatic
- real time