3793 search results - page 631 / 759 » Expressive Description Logics |
152
click to vote
ICFCA
2007
Springer
16 years 16 days ago
2007
Springer
We model a Digital Library as a formal context in which objects are documents and attributes are terms describing documents contents. A formal concept is very close to the notion o...
173
click to vote
SEMWEB
2007
Springer
16 years 15 days ago
2007
Springer
While the Semantic Web requires a large amount of structured knowledge (triples) to allow machine reasoning, the acquisition of this knowledge still represents an open issue. Indee...
160
click to vote
IPPS
2006
IEEE
16 years 12 days ago
2006
IEEE
Dynamically allocating computing nodes to parallel applications is a promising technique for improving the utilization of cluster resources. We introduce the concept of dynamic ef...
173
click to vote
QEST
2006
IEEE
16 years 12 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
164
click to vote
ISSTA
2006
ACM
16 years 10 days ago
2006
ACM
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...