Sciweavers

2889 search results - page 239 / 578
» Querying Structured Hyperdocuments
Sort
View
JSS
2006
134views more  JSS 2006»
15 years 4 months ago
On past-time indexing of moving objects
Tracking of mobile objects trajectories is one of many modern applications supported by Spatiotemporal databases. Within the context of this application, queries about the present...
Katerina Raptopoulou, Michael Vassilakopoulos, Yan...
PVLDB
2010
219views more  PVLDB 2010»
15 years 3 months ago
Deep Web Integration with VisQI
In this paper, we present VisQI (VISual Query interface Integration system), a Deep Web integration system. VisQI is capable of (1) transforming Web query interfaces into hierarch...
Thomas Kabisch, Eduard Constantin Dragut, Clement ...
157
Voted
APLAS
2011
ACM
14 years 4 months ago
Solving Recursion-Free Horn Clauses over LI+UIF
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenk...
ICDE
2012
IEEE
202views Database» more  ICDE 2012»
13 years 7 months ago
Differentially Private Spatial Decompositions
— Differential privacy has recently emerged as the de facto standard for private data release. This makes it possible to provide strong theoretical guarantees on the privacy and ...
Graham Cormode, Cecilia M. Procopiuc, Divesh Sriva...
ICDE
2009
IEEE
159views Database» more  ICDE 2009»
16 years 6 months ago
Sketch-Based Summarization of Ordered XML Streams
XML streams, such as RSS feeds or complex event streams, are becoming increasingly pervasive as they provide the foundation for a wide range of emerging applications. An important...
Veronica Mayorga, Neoklis Polyzotis