CHECKER: An Efficient Algorithm for Knowledge Base Verification.
Xudong YuGautam BiswasPublished in: IEA/AIE (Vol. 2) (1990)
Keyphrases
- knowledge base
- dynamic programming
- times faster
- matching algorithm
- computational complexity
- single pass
- detection algorithm
- theoretical analysis
- high accuracy
- recognition algorithm
- classification algorithm
- optimization algorithm
- worst case
- preprocessing
- k means
- cost function
- memory efficient
- selection algorithm
- reinforcement learning
- objective function
- segmentation algorithm
- input data
- learning algorithm
- np hard
- knowledge representation
- expectation maximization
- clustering method
- search space
- linear programming
- experimental evaluation
- clustering algorithm
- least squares