20778 search results - page 4017 / 4156 » Algorithms for Data Migration |
248
Voted
POPL
2007
ACM
16 years 3 months ago
2007
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
252
Voted
POPL
2007
ACM
16 years 3 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
124
Voted
RECOMB
2004
Springer
16 years 3 months ago
2004
Springer
Finding recurring residue packing patterns, or spatial motifs, that characterize protein structural families is an important problem in bioinformatics. To this end, we apply a nov...
221
click to vote
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
Correlation Clustering was defined by Bansal, Blum, and Chawla as the problem of clustering a set of elements based on a possibly inconsistent binary similarity function between e...
250
Voted
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
Nearest neighbor (NN) search in high dimensional space is an important problem in many applications. Ideally, a practical solution (i) should be implementable in a relational data...