4085 search results - page 166 / 817 » Data Services - From Data to Containers |
183
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
We consider the problem of computing all-pair correlations in a warehouse containing a large number (e.g., tens of thousands) of time-series (or, signals). The problem arises in a...
168
click to vote
ICAISC
2010
Springer
15 years 11 months ago
2010
Springer
This paper presents a new implementation of the co-VAT algorithm. We assume we have an m × n matrix D, where the elements of D are pair-wise dissimilarities between m row objects ...
192
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Gene expression profiling has become a useful biological resource in recent years, and it plays an important role in a broad range of areas in biology. The raw gene ex...
271
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
272
click to vote
ICDE
1996
IEEE
16 years 7 months ago
1996
IEEE
The Mariposa distributed data manager uses an economic model for managing the allocation of both storage objects and queries to servers. In this paper, we present extensions to th...