An algorithm for axiom pinpointing in EL+ and its incremental variant.
Xiaojun ChengGuilin QiPublished in: CIKM (2011)
Keyphrases
- single pass
- times faster
- optimization algorithm
- optimal solution
- learning algorithm
- detection algorithm
- objective function
- computational complexity
- cost function
- recognition algorithm
- dynamic programming
- np hard
- improved algorithm
- k means
- preprocessing
- simulated annealing
- incremental learning
- estimation algorithm
- matching algorithm
- incremental version
- computationally efficient
- experimental evaluation
- association rules
- path planning
- linear programming
- memory requirements
- input image
- probabilistic model
- search space
- image sequences