1205 search results - page 176 / 241 » Program Extraction from Large Proof Developments |
136
click to vote
BMCBI
2010
14 years 8 months ago
2010
Background: DNA Microarrays have become the standard method for large scale analyses of gene expression and epigenomics. The increasing complexity and inherent noisiness of the ge...
117
click to vote
CBMS
2007
IEEE
15 years 7 months ago
2007
IEEE
A key challenge in the management of microarray data is the large size of images that constitute the output of microarray experiments. Therefore, only the expression values extrac...
102
click to vote
DEBU
1998
15 years 1 months ago
1998
The amount of information available online has grown enormously over the past decade. Fortunately, computing power, disk capacity, and network bandwidth have also increased dramat...
127
click to vote
CCGRID
2009
IEEE
15 years 8 months ago
2009
IEEE
—There exists numerous Grid middleware to develop and execute programs on the computational Grid, but they still require intensive work from their users. BitDew is made to facili...
EDBT
2008
ACM
16 years 1 months ago
2008
ACM
Several Web sites deliver a large number of pages, each publishing data about one instance of some real world entity, such as an athlete, a stock quote, a book. Even though it is ...