Proving loop termination: Beyond the traditional method.
Tennyson X. ChenMartin D. MeyerPublished in: J. Comput. Methods Sci. Eng. (2009)
Keyphrases
- high accuracy
- main contribution
- dynamic programming
- experimental evaluation
- error rate
- clustering method
- cost function
- computational cost
- probabilistic model
- experimental study
- segmentation method
- matching algorithm
- synthetic data
- energy function
- mathematical model
- computationally efficient
- classification method
- fully automatic
- evaluation method
- detection method
- theoretical analysis
- decision trees
- em algorithm
- feature set
- least squares
- semi supervised
- pairwise
- preprocessing
- similarity measure