3244 search results - page 378 / 649 » Extensions to Description Logics |
145
Voted
GLVLSI
2009
IEEE
16 years 1 months ago
2009
IEEE
Logic decomposition has been extensively used to optimize the worst-case delay and the area in the technology independent phase. Bi-decomposition is one of the state-of-art techni...
174
click to vote
RR
2007
Springer
16 years 25 days ago
2007
Springer
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...
177
Voted
DDECS
2006
IEEE
16 years 23 days ago
2006
IEEE
- Extension of a BIST design algorithm is proposed in this paper. The method is based on a synthesis of a combinational block - the decoder, transforming pseudo-random code words i...
163
click to vote
RULEML
2005
Springer
16 years 6 days ago
2005
Springer
In this paper we argue that a realistic architecture for the Semantic Web must be based on multiple independent, but interoperable, stacks of languages. In particular, we argue tha...
178
click to vote
ISCIS
2004
Springer
16 years 2 days ago
2004
Springer
System BV is an extension of multiplicative linear logic with a non-commutative self-dual operator. In this paper we present systems equivalent to system BV where equalities for un...