2381 search results - page 304 / 477 » On Ordering Descriptions in a Description Logic |
122
click to vote
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Axiom pinpointing has been introduced in description logics (DL) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base th...
185
click to vote
SIGMOD
2005
ACM
16 years 2 months ago
2005
ACM
The description, composition, and execution of even logically simple scientific workflows are often complicated by the need to deal with "messy" issues like heterogeneou...
128
click to vote
RTAS
2009
IEEE
15 years 8 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
117
click to vote
IROS
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper, we investigate the problem of 3D object categorization of objects typically present in kitchen environments, from data acquired using a composite sensor. Our fra...
109
click to vote
GLVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper proposes a library-free technology mapping algorithm to reduce delay in combinational circuits. The algorithm reduces the overall number of series transistors through t...