Sciweavers

6952 search results - page 110 / 1391
» The information integrity imperative
Sort
View
ICDE
2002
IEEE
147views Database» more  ICDE 2002»
16 years 7 months ago
Decoupled Query Optimization for Federated Database Systems
We study the problem of query optimization in federated relational database systems. The nature of federated databases explicitly decouples many aspects of the optimization proces...
Amol Deshpande, Joseph M. Hellerstein
KDD
2004
ACM
182views Data Mining» more  KDD 2004»
16 years 6 months ago
Rotation invariant distance measures for trajectories
For the discovery of similar patterns in 1D time-series, it is very typical to perform a normalization of the data (for example a transformation so that the data follow a zero mea...
Michail Vlachos, Dimitrios Gunopulos, Gautam Das
TACAS
2009
Springer
127views Algorithms» more  TACAS 2009»
16 years 1 months ago
From Tests to Proofs
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko
VL
2009
IEEE
175views Visual Languages» more  VL 2009»
16 years 29 days ago
TurKit: Tools for iterative tasks on mechanical turk
Mechanical Turk (MTurk) is an increasingly popular web service for paying people small rewards to do human computation tasks. Current uses of MTurk typically post independent para...
Greg Little, Lydia B. Chilton, Max Goldman, Robert...
ISCAS
2008
IEEE
230views Hardware» more  ISCAS 2008»
16 years 19 days ago
Joint optimization of data hiding and video compression
— From copyright protection to error concealment, video data hiding has found usage in a great number of applications. Recently proposed applications such as privacy data preserv...
Jithendra K. Paruchuri, Sen-Ching S. Cheung