Sciweavers

2381 search results - page 142 / 477
» On Ordering Descriptions in a Description Logic
Sort
View
KI
2008
Springer
15 years 1 months ago
Fusing DL Reasoning with HTN Planning
We describe a method for cascading Description Logic (DL) representation and reasoning on the one hand, and HTN action planning on the other. The planning domain description as wel...
Ronny Hartanto, Joachim Hertzberg
77
Voted
EUC
2005
Springer
15 years 7 months ago
The Content Analyzer Supporting Interoperability of MPEG-4 Content in Heterogeneous Players
MPEG-4 supports object-based interactive multimedia applications. To compose complex multimedia scene, MPEG-4 supports BIFS and XMT as scene description. For interoperability of th...
Hyunju Lee, Sangwook Kim
99
Voted
DATE
2003
IEEE
119views Hardware» more  DATE 2003»
15 years 7 months ago
Evaluation of Applying SpecC to the Integrated Design Method of Device Driver and Device
We are investigating an integrated design method for a device driver and a device in order to efficiently develop device drivers used in embedded systems. This paper evaluates wh...
Shinya Honda, Hiroaki Takada
104
Voted
KBS
1998
64views more  KBS 1998»
15 years 1 months ago
An incremental retrieval mechanism for case-based electronic fault diagnosis
One problem with using CBR for diagnosis is that a full case description may not be available at the beginning of the diagnosis. The standard CBR methodology requires a detailed c...
Padraig Cunningham, Barry Smyth, Andrea Bonzano
113
Voted
ESWS
2009
Springer
15 years 8 months ago
Decidability of SHI with Transitive Closure of Roles
This paper investigates a Description Logic, namely SHI+, which extends SHI by adding transitive closure of roles. The resulting logic SHI+ allows transitive closure of roles to oc...
Chan Le Duc