The t-variable method in gentzen-style automatic theorem proving.
Tryggvi EdwaldPublished in: Math. Log. Q. (1990)
Keyphrases
- experimental evaluation
- objective function
- high accuracy
- evaluation method
- edge detection
- classification method
- similarity measure
- preprocessing
- high precision
- image quality
- cost function
- synthetic data
- detection method
- maximum likelihood
- optimization method
- fully automatic
- computational complexity
- em algorithm
- mutual information
- neural network
- classification accuracy
- pairwise
- dynamic programming