3244 search results - page 445 / 649 » Extensions to Description Logics |
152
click to vote
ISSAC
2005
Springer
16 years 3 days ago
2005
Springer
This paper describes a new method for computing the normal form of a polynomial modulo a zero-dimensional ideal I. We give a detailed description of the algorithm, a proof of its ...
168
click to vote
SEMWEB
2005
Springer
16 years 3 days ago
2005
Springer
Visiting museums is an increasingly popular pastime. Studies have shown that visitors can draw on their museum experience, long after their visit, to learn new things in practical ...
208
click to vote
SPATIALCOGNITION
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
166
click to vote
TIDSE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents DraMachina, an authoring tool dedicated to authors of interactive fictions. An interactive fiction is an extension of classical narrative media as i...
158
click to vote
COMPSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
We present in this paper an extension of the messagedriven confidence-driven framework that we developed for onboard guarded software upgrading. The purpose of this work is to pr...