2381 search results - page 258 / 477 » On Ordering Descriptions in a Description Logic |
189
click to vote
IJRR
2006
15 years 6 months ago
2006
Current technological developments and application-driven demands are bringing us closer to the realization of autonomous multirobot systems performing increasingly complex missio...
195
click to vote
DLOG
2010
15 years 4 months ago
2010
In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We ...
195
click to vote
SDL
2001
15 years 8 months ago
2001
In this paper we propose some extensions necessary to enable the speci cation and description language SDL to become an appropriate formalism for the design of real-time and embedd...
180
Voted
GRID
2008
Springer
15 years 6 months ago
2008
Springer
SmartGridSolve is an extension of GridSolve that expands the single task map and client-server model of GridRPC by implementing server to server communication and the mapping of a...
114
click to vote
FQAS
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes a new approach for describing contents through the use of interlinguas in order to facilitate the extraction of specific pieces of information. The authors hig...