1356 search results - page 233 / 272 » A variable-free dynamic semantics |
108
click to vote
RULEML
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we present R-DEVICE, a deductive rule language for reasoning about RDF metadata. R-DEVICE includes features such as normal and generalized path expressions, stratifie...
112
click to vote
INFOCOM
2003
IEEE
15 years 5 months ago
2003
IEEE
— The core-stateless service architecture alleviates the scalability problems of the integrated service framework while maintaining its guaranteed service semantics. The admissio...
INFOVIS
2003
IEEE
15 years 5 months ago
2003
IEEE
Many networks under study in Information Visualization are “small world” networks. These networks first appeared in the study social networks and were shown to be relevant mod...
SSDBM
2003
IEEE
15 years 5 months ago
2003
IEEE
Accessing data stored in persistent memory represents a bottleneck for current visual exploration applications. Semantic caching of frequent queries at the client-side along with ...
113
click to vote
AI
2003
Springer
15 years 5 months ago
2003
Springer
This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of ad...