1190 search results - page 6 / 238 » Tool for Storm Analysis Using Multiple Data Sets |
119
click to vote
CAV
2009
Springer
16 years 4 days ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
100
click to vote
BMCBI
2006
14 years 11 months ago
2006
Background: Microarray technology has become a widely accepted and standardized tool in biology. The first microarray data analysis programs were developed to support pair-wise co...
BMCBI
2008
14 years 11 months ago
2008
Background: Recently, microarray data analyses using functional pathway information, e.g., gene set enrichment analysis (GSEA) and significance analysis of function and expression...
120
click to vote
BMCBI
2008
14 years 11 months ago
2008
Background: Microarray experiments measure changes in the expression of thousands of genes. The resulting lists of genes with changes in expression are then searched for biologica...
KDD
1997
ACM
15 years 3 months ago
1997
ACM
Exploratory data analysis is inherently an iterative, interactive endeavor. In the context of massive data sets, however, many current data analysis algorithms will not scale appr...