494 search results - page 85 / 99 » Helping based on future expectations |
142
click to vote
BMCBI
2010
14 years 8 months ago
2010
Background: The Ensembl project produces updates to its comparative genomics resources with each of its several releases per year. During each release cycle approximately two week...
114
click to vote
PROMISE
2010
14 years 8 months ago
2010
Background: Defects are related to failures and they do not have much power for indicating a higher quality or a better system above the baseline that the end-users expect. Nevert...
161
click to vote
CLUSTER
2011
IEEE
14 years 1 months ago
2011
IEEE
—Computing systems will grow significantly larger in the near future to satisfy the needs of computational scientists in areas like climate modeling, biophysics and cosmology. S...
131
Voted
POPL
2012
ACM
13 years 9 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
135
click to vote
SSDBM
2005
IEEE
15 years 7 months ago
2005
IEEE
Modern geographic information systems do not only have to handle static information but also dynamically moving objects. Clustering algorithms for these moving objects provide new...