A Tableau Decision Algorithm for Modalized ALC with Constant Domains.
Carsten LutzHolger SturmFrank WolterMichael ZakharyaschevPublished in: Stud Logica (2002)
Keyphrases
- learning algorithm
- high accuracy
- experimental evaluation
- k means
- theoretical analysis
- cost function
- computational complexity
- preprocessing
- detection algorithm
- objective function
- selection algorithm
- simulated annealing
- expectation maximization
- recognition algorithm
- search algorithm
- times faster
- computational cost
- matching algorithm
- description logics
- convex hull
- improved algorithm
- ant colony optimization
- clustering method
- neural network
- log log
- segmentation algorithm
- linear programming
- decision makers
- probabilistic model
- dynamic programming
- significant improvement
- search space
- image sequences
- machine learning
- real world