1317 search results - page 123 / 264 » Fusions of Description Logics and Abstract Description Syste... |
389
click to vote
DAC
2012
ACM
13 years 8 months ago
2012
ACM
In this paper we introduce Chisel, a new hardware construction language that supports advanced hardware design using highly parameterized generators and layered domain-specific h...
160
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. We address the revision problem for knowledge bases (KBs) in Description Logics (DLs). This problem has received much attention in the ontology management and DL communit...
175
click to vote
PDPTA
2004
15 years 7 months ago
2004
Abstract-- Service descriptions based on type hiernd abstract service states ruling the availability of operations permit more secure service combinations in distributed systems de...
153
click to vote
AAAI
1998
15 years 7 months ago
1998
The amount of use a knowledge representation system receives depends on more than just the theoretical suitability of the system. Some critical determiners of usage have to do wit...
162
click to vote
ERSA
2007
15 years 7 months ago
2007
This paper describes a proof-of-concept implementation of a basic autonomous computing system. The system consists of an XUP Virtex-II Pro board running Linux and a set of softwar...