Sciweavers

2903 search results - page 37 / 581
» On the univalence of an integral operator
Sort
View
EDBT
2010
ACM
188views Database» more  EDBT 2010»
15 years 8 months ago
Subsumption and complementation as data fusion operators
The goal of data fusion is to combine several representations of one real world object into a single, consistent representation, e.g., in data integration. A very popular operator...
Jens Bleiholder, Sascha Szott, Melanie Herschel, F...
VLDB
2004
ACM
114views Database» more  VLDB 2004»
15 years 7 months ago
Hardware Acceleration in Commercial Databases: A Case Study of Spatial Operations
Traditional databases have focused on the issue of reducing I/O cost as it is the bottleneck in many operations. As databases become increasingly accepted in areas such as Geograp...
Nagender Bandi, Chengyu Sun, Amr El Abbadi, Divyak...
POPL
2009
ACM
16 years 2 months ago
Verifying distributed systems: the operational approach
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
Tom Ridge
IJCIS
1998
78views more  IJCIS 1998»
15 years 1 months ago
Merging Databases Under Constraints
The problem of integrating information from con icting sources comes up in many current applications, such as cooperative information systems, heterogeneous databases, and multi-a...
Jinxin Lin, Alberto O. Mendelzon
PVLDB
2008
110views more  PVLDB 2008»
15 years 1 months ago
DObjects: enabling distributed data services for metacomputing platforms
Many applications rely heavily on large amounts of data in the distributed storages collected over time or produced by large scale scientific experiments or simulations. The key co...
Pawel Jurczyk, Li Xiong