An ExpSpace Tableau-based Algorithm for SHOIQ.
Chan Le DucMyriam LamolleOlivier CuréPublished in: Description Logics (2012)
Keyphrases
- times faster
- computational cost
- experimental evaluation
- learning algorithm
- objective function
- dynamic programming
- significant improvement
- improved algorithm
- high accuracy
- cost function
- preprocessing
- path planning
- clustering method
- expectation maximization
- convergence rate
- recognition algorithm
- selection algorithm
- worst case
- detection algorithm
- segmentation algorithm
- particle swarm optimization
- linear programming
- k means
- artificial neural networks
- computational complexity
- video sequences
- reinforcement learning
- similarity measure