Evidence Algorithm Approach to Automated Theorem Proving and SAD Systems.
Alexander V. LyaletskiAlexandre LyaletskyPublished in: IT&I (2020)
Keyphrases
- automated theorem proving
- preprocessing
- computational cost
- expectation maximization
- optimal solution
- recognition algorithm
- convergence rate
- k means
- significant improvement
- cost function
- np hard
- optimization algorithm
- dynamic programming
- matching algorithm
- detection algorithm
- fuzzy logic
- search space
- similarity measure
- supervised learning
- worst case
- probabilistic model
- learning algorithm
- expert systems
- search algorithm
- video sequences