2010 search results - page 304 / 402 » An analysis of research in computing disciplines |
163
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Molecular biologists work with DNA databases that often include entire genomes. A common requirement is to search a DNA database to find exact matches for a nondegener...
164
click to vote
CCGRID
2008
IEEE
16 years 23 days ago
2008
IEEE
—The application and research area of Multimedia Content Analysis (MMCA) considers all aspects of the automated extraction of new knowledge from large multimedia data streams and...
197
click to vote
STOC
2012
ACM
13 years 8 months ago
2012
ACM
We give the first time-space tradeoff lower bounds for Resolution proofs that apply to superlinear space. In particular, we show that there are formulas of size N that have Reso...
159
click to vote
IPPS
2008
IEEE
16 years 21 days ago
2008
IEEE
Volunteer Computing is becoming a new paradigm not only for the Computational Grid, but also for institutions using production-level Data Grids because of the enormous storage pot...
151
click to vote
CSR
2007
Springer
16 years 14 days ago
2007
Springer
t) Yuri Gurevich Microsoft Research The talk reflects recent joint work with Nachum Dershowitz [4]. In 1936, Church suggested that the recursive functions, which had been defined...