9145 search results - page 396 / 1829 » Description Logic Systems |
191
click to vote
JELIA
2004
Springer
16 years 6 days ago
2004
Springer
We briefly overview the most recent improvements we have incorporated to the existent implementations of the TAS methodology, the simplified ∆-tree representation of formulas i...
174
click to vote
TODAES
2002
15 years 6 months ago
2002
ct Cross-coupled noise analysis has become a critical concern in today's VLSI designs. Typically, noise analysis makes an assumption that all aggressing nets can simultaneousl...
199
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
JavaScript has become the most widely used language for clientside web programming. The dynamic nature of JavaScript makes understanding its code notoriously difficult, leading t...
178
click to vote
LOGCOM
2007
15 years 6 months ago
2007
Categorisation of objects into classes is currently supported by (at least) two ‘orthogonal’ methods. In logic-based approaches, classifications are defined through ontologi...
203
click to vote
SGAI
2009
Springer
16 years 1 months ago
2009
Springer
Planning resources for a supply chain is a major factor determining its success or failure. In this paper we build on previous work introducing an Interval Type-2 Fuzzy Logic mode...