Further Consistency and Independence Results in NF Obtained by the Permutation Method.
Thomas E. ForsterPublished in: J. Symb. Log. (1983)
Keyphrases
- preprocessing
- high precision
- experimental evaluation
- high accuracy
- segmentation method
- pairwise
- prior knowledge
- cost function
- dynamic programming
- theoretical analysis
- synthetic data
- optimization algorithm
- fully automatic
- normal form
- evaluation method
- initial values
- computationally efficient
- support vector machine svm
- main contribution
- genetic algorithm
- medical images
- computational complexity
- training data