Generic Proof Scores for Generate & Check Method in CafeOBJ.
Kokichi FutatsugiPublished in: Logic, Rewriting, and Concurrency (2015)
Keyphrases
- main contribution
- high accuracy
- detection method
- significant improvement
- fully automatic
- mathematical model
- segmentation method
- synthetic data
- computationally efficient
- theoretical analysis
- clustering method
- generation method
- data sets
- evaluation method
- optimization method
- error rate
- support vector machine svm
- model selection
- probabilistic model
- experimental evaluation
- dynamic programming
- cost function
- computational complexity
- objective function
- similarity measure