3244 search results - page 118 / 649 » Extensions to Description Logics |
165
click to vote
ASM
2005
ASM
15 years 12 months ago
2005
ASM
In this paper we introduce a new research effort in making state machines executable. The aim is to specify and implement an execution engine for a language that is as close as po...
153
click to vote
DATE
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper proposes extensions to the VHDL grammar and de nes new semantics in the language to model the timing behavior of high frequency buses and clock lines with multiple, dis...
124
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
This poster discusses the multichannel publication of multimedia presentations using MPEG-21 DIDL and extensions. Different descriptions belonging to one MPEG-21 content item are ...
159
click to vote
RR
2010
Springer
15 years 4 months ago
2010
Springer
The development and use of ontologies may require users with no training in formal logic to handle complex concept descriptions. To aid such users, we propose a new visualization f...
174
click to vote
AAAI
2007
15 years 8 months ago
2007
Forgetting irrelevant/problematic actions in a domain description can be useful in solving reasoning problems, such as query answering, planning, conflict resolution, prediction,...