Z-Module Reasoning: An Equality-Oriented Proving Method with Built-in Ring Axioms.
Tie-Cheng WangPublished in: J. ACM (1993)
Keyphrases
- detection method
- knowledge base
- evaluation method
- cost function
- probabilistic model
- computationally efficient
- main contribution
- optimization algorithm
- high accuracy
- computational cost
- experimental evaluation
- pairwise
- detection algorithm
- synthetic data
- high precision
- theoretical analysis
- similarity measure
- medical images
- mutual information
- description logics
- support vector machine
- significant improvement
- expert systems
- classification method
- preprocessing
- optimization method
- video sequences