3793 search results - page 523 / 759 » Expressive Description Logics |
195
click to vote
ICCAD
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper addresses the design of multi-mode architectures for digital signal processing applications. We present a dedicated design flow and its associated high-level synthesis t...
165
click to vote
ASWC
2006
Springer
15 years 10 months ago
2006
Springer
With the increasing use of ontologies in Semantic Web and enterprise knowledge management, it is critical to develop scalable and efficient ontology management systems. In this pap...
163
click to vote
KR
2000
Springer
15 years 10 months ago
2000
Springer
Recent experimental results have shown that the strength of resolution, the propositional DPLL procedure, the KSAT procedure for description logics, or related tableau-like implem...
210
click to vote
RSCTC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In spatial reasoning the qualitative description of relations between spatial regions is of practical importance and has been widely studied. Examples of such relations a...
179
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...