2302 search results - page 383 / 461 » Basic Description Logics |
128
click to vote
ARITH
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we investigate the implementation of basic arithmetic functions, such as addition and multiplication, in Single Electron Tunneling (SET) technology. First, we descri...
133
click to vote
PDP
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract. In this work an architecture of an automatically tuned linear algebra library proposed in previous works is extended in order to adapt it to platforms where both the CPU ...
162
click to vote
SEMWEB
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. RDF may be considered as an application of XML intended to interoperably exchange semantics between Web applications. In its current form, this objective may be hard to r...
138
click to vote
TPHOL
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
141
click to vote
CP
1998
Springer
15 years 8 months ago
1998
Springer
In a faulty digital circuit, many (single) faulty gates may explain the observed findings. In this paper we are mostly concerned, not in obtaining alternative diagnoses, but rathe...