1791 search results - page 205 / 359 » Semantics and Complexity of SPARQL |
183
click to vote
FMICS
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
170
click to vote
GIR
2006
ACM
16 years 3 days ago
2006
ACM
In this paper, we present a novel indexing data structure called RDHT (Range capable Distributed Hash Table) derived from skip lists and specifically designed for storing and retr...
155
Voted
AMR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Different strategies to learn user semantic queries from dissimilarity representations of video audio-visual content are presented. When dealing with large corpora of vi...
225
Voted
VLDB
2005
ACM
15 years 11 months ago
2005
ACM
As increasing amount of data is published in the form of XML, copyright protection of XML data is becoming an important requirement for many applications. While digital watermarki...
153
Voted
LPNMR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...