2381 search results - page 438 / 477 » On Ordering Descriptions in a Description Logic |
119
click to vote
TABLEAUX
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...
132
click to vote
ISPD
2004
ACM
15 years 7 months ago
2004
ACM
Modern processors and SoCs require the adoption of poweroriented design styles, due to the implications that power consumption may have on reliability, cost and manufacturability ...
121
click to vote
SAC
2004
ACM
15 years 7 months ago
2004
ACM
The proliferation of IT and its consequent dispersion is an enterprise reality, however, most organizations do not have adequate tools and/or methodologies that enable the managem...
131
click to vote
ASWSD
2004
Springer
15 years 7 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
86
Voted
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
Context scenarios are widely used for assessing the robustness of strategies and policies in both the private and the public sector. Royal Dutch Shell, for instance, has become re...