Evidence Algorithm and System for Automated Deduction: A Retrospective View
Alexander V. LyaletskiKonstantin VerchininePublished in: CoRR (2010)
Keyphrases
- automated deduction
- objective function
- preprocessing
- computationally efficient
- cost function
- experimental evaluation
- computational cost
- optimal solution
- high accuracy
- k means
- times faster
- expectation maximization
- worst case
- semi supervised
- detection algorithm
- dynamic programming
- computational complexity
- matching algorithm
- theoretical analysis
- recognition algorithm
- probabilistic model
- particle swarm optimization
- multi view
- databases
- np hard
- query processing
- similarity measure
- feature selection