Sciweavers

92 search results - page 10 / 19
» A compositional framework for complex queries over uncertain...
Sort
View
DEXAW
1999
IEEE
142views Database» more  DEXAW 1999»
13 years 11 months ago
Developments in Spatio-Temporal Query Languages
ing spatio-temporal data as abstract data types into already existing data models is a promising approach to creating spatio-temporal query languages. In this context, an importan...
Martin Erwig, Markus Schneider
ICNP
2006
IEEE
14 years 1 months ago
DPTree: A Balanced Tree Based Indexing Framework for Peer-to-Peer Systems
— Peer-to-peer (P2P) systems have been widely used for exchange of voluminous information and resources among thousands or even millions of users. Since shared data are normally ...
Mei Li, Wang-Chien Lee, Anand Sivasubramaniam
SAS
2010
Springer
141views Formal Methods» more  SAS 2010»
13 years 5 months ago
Statically Inferring Complex Heap, Array, and Numeric Invariants
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
Bill McCloskey, Thomas W. Reps, Mooly Sagiv
ICDT
2010
ACM
211views Database» more  ICDT 2010»
14 years 4 months ago
Probabilistic Data Exchange
The work reported here lays the foundations of data exchange in the presence of probabilistic data. This requires rethinking the very basic concepts of traditional data exchange, ...
Ronald Fagin, Benny Kimelfeld, Phokion Kolaitis
SIGMOD
2004
ACM
124views Database» more  SIGMOD 2004»
14 years 27 days ago
An Interactive Clustering-based Approach to Integrating Source Query interfaces on the Deep Web
An increasing number of data sources now become available on the Web, but often their contents are only accessible through query interfaces. For a domain of interest, there often ...
Wensheng Wu, Clement T. Yu, AnHai Doan, Weiyi Meng