6274 search results - page 1022 / 1255 » Proofs, Programs, Processes |
100
click to vote
CHI
2006
ACM
16 years 1 months ago
2006
ACM
Many users are familiar with the interesting but limited functionality of Data Detector interfaces like Microsoft's Smart Tags and Google's AutoLink. In this paper we si...
199
click to vote
POPL
2008
ACM
16 years 1 months ago
2008
ACM
An ad hoc data source is any semistructured data source for which useful data analysis and transformation tools are not readily available. Such data must be queried, transformed a...
111
Voted
RECOMB
2006
Springer
16 years 1 months ago
2006
Springer
We study the problem of enumerating substrings that are common amongst genomes that share evolutionary descent. For example, one might want to enumerate all identical (therefore co...
129
Voted
SIGMOD
2004
ACM
16 years 29 days ago
2004
ACM
Schema matching identifies elements of two given schemas that correspond to each other. Although there are many algorithms for schema matching, little has been written about build...
110
Voted
PPOPP
2010
ACM
15 years 10 months ago
2010
ACM
Many large-scale parallel programs follow a bulk synchronous parallel (BSP) structure with distinct computation and communication phases. Although the communication phase in such ...