2214 search results - page 310 / 443 » Complexity of Reasoning |
124
Voted
OTM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We discuss our DLDB knowledge base system and evaluate its capability in processing a very large set of real-world Semantic Web data. Using DLDB, we have constructed the ...
121
click to vote
POLICY
2007
Springer
15 years 9 months ago
2007
Springer
The richness of today’s electronic communications mirrors physical world: activities such as shopping, business and scientific collaboration are conducted online. Current intera...
122
click to vote
SPIN
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
145
Voted
W2GIS
2007
Springer
15 years 9 months ago
2007
Springer
One of the challenges raised by the construction of the semantic Web lies in the analysis and management of complex relationships (thematic, spatial and temporal) connecting severa...
113
Voted
CSFW
2006
IEEE
15 years 9 months ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...