Sciweavers

9810 search results - page 82 / 1962
» Problems, Descriptions and Objects
Sort
View
CADE
2001
Springer
15 years 10 months ago
RACER System Description
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized s...
Ralf Möller, Volker Haarslev
TIME
2008
IEEE
15 years 4 months ago
Temporal Description Logics: A Survey
We survey temporal description logics that are based on standard temporal logics such as LTL and CTL. In particular, we concentrate on the computational complexity of the satisfi...
Carsten Lutz, Frank Wolter, Michael Zakharyaschev
CBMS
2002
IEEE
15 years 3 months ago
A Statistical Approach to Texture Description of Medical Images: A Preliminary Study
The article deals with the problem of texture description. It presents a statistical approach. Specifically it introduces the use of first- and second-order statistics on textur...
Matjaz Bevk, Igor Kononenko
GECCO
2005
Springer
132views Optimization» more  GECCO 2005»
15 years 3 months ago
Greedy, genetic, and greedy genetic algorithms for the quadratic knapsack problem
Augmenting an evolutionary algorithm with knowledge of its target problem can yield a more effective algorithm, as this presentation illustrates. The Quadratic Knapsack Problem e...
Bryant A. Julstrom
ICFCA
2009
Springer
15 years 4 months ago
Exploring Finite Models in the Description Logic
Abstract. In a previous ICFCA paper we have shown that, in the Description Logics EL and ELgfp, the set of general concept inclusions holding in a finite model always has a finit...
Franz Baader, Felix Distel