A tableau proof method admitting the empty domain.
Melvin FittingPublished in: Notre Dame J. Formal Log. (1971)
Keyphrases
- cost function
- high accuracy
- mutual information
- fully automatic
- detection method
- clustering method
- theoretical analysis
- experimental evaluation
- optimization method
- high precision
- synthetic data
- artificial neural networks
- preprocessing
- objective function
- main contribution
- support vector machine svm
- pairwise
- computational complexity
- segmentation method
- knowledge base
- neural network