2448 search results - page 395 / 490 » The Octahedron Abstract Domain |
DLOG
2007
13 years 11 months ago
2007
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...
WSC
2008
13 years 11 months ago
2008
Currently, system engineering problems are solved using a wide range of domain-specific models and corresponding languages. It is unlikely that a single unified modeling language ...
AIPR
2008
IEEE
13 years 11 months ago
2008
IEEE
We present an agent-based full body tracking and 3D animation system to generate motion data using stereo calibrated cameras. The novelty of our approach is that agents are bound t...
APPROX
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. We are interested in efficient algorithms for generating random samples from geometric objects such as Riemannian manifolds. As a step in this direction, we consider the ...
ASWC
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Enabling a system to automatically conceptualize and annotate a human-readable table is one way to create interesting semanticweb content. But exactly "how?" is...