6274 search results - page 1022 / 1255 » Proofs, Programs, Processes |
120
Voted
CHI
2006
ACM
16 years 3 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...
222
Voted
POPL
2008
ACM
16 years 2 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...
124
Voted
RECOMB
2006
Springer
16 years 2 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...
153
Voted
SIGMOD
2004
ACM
16 years 2 months 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...
125
click to vote
PPOPP
2010
ACM
15 years 12 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 ...