12015 search results - page 2253 / 2403 » Interactive Algorithms 2005 |
118
click to vote
CCGRID
2010
IEEE
15 years 3 months ago
2010
IEEE
Markets of computing resources typically consist of a cluster (or a multi-cluster) and jobs that arrive over time and request computing resources in exchange for payment. In this p...
123
click to vote
CSL
2010
Springer
15 years 3 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
127
Voted
HPDC
2010
IEEE
15 years 3 months ago
2010
IEEE
In this paper we present a multi-GPU parallel volume rendering implemention built using the MapReduce programming model. We give implementation details of the library, including s...
139
Voted
BIBM
2008
IEEE
15 years 2 months ago
2008
IEEE
This paper addresses the protein classification problem, and explores how its accuracy can be improved by using information from time-course gene expression data. The methods are ...
141
click to vote
BIODATAMINING
2008
15 years 2 months ago
2008
This editorial introduces BioData Mining, a new journal which publishes research articles related to advances in computational methods and techniques for the extraction of useful ...