Strong Termination for the Epsilong Substitution Method.
Grigori MintsPublished in: J. Symb. Log. (1996)
Keyphrases
- high accuracy
- probabilistic model
- classification method
- theoretical analysis
- similarity measure
- experimental study
- synthetic data
- clustering method
- computationally efficient
- cost function
- preprocessing
- detection method
- evaluation method
- high precision
- statistical model
- mathematical model
- computational complexity
- detection algorithm
- optimization algorithm
- experimental evaluation
- computational cost
- training data
- segmentation method
- main contribution
- dynamic programming
- neural network
- edge detection