Strategies for Resolution Method in Non-classical Logics (Abstract).
Grigori MintsPublished in: Kurt Gödel Colloquium (1993)
Keyphrases
- significant improvement
- detection method
- high accuracy
- cost function
- computational cost
- synthetic data
- evaluation method
- high precision
- pairwise
- preprocessing
- computational complexity
- machine learning
- computationally efficient
- segmentation algorithm
- optimization algorithm
- temporal resolution
- feature set
- matching algorithm
- segmentation method
- mutual information
- dynamic programming
- high level
- feature selection