3742 search results - page 702 / 749 » On the Use of Formal Techniques for Validation |
194
click to vote
CONEXT
2009
ACM
15 years 7 months ago
2009
ACM
: We study mobile P2P content dissemination schemes which leverage the local dedicated caches provided by hand-held devices (e.g., smart-phones, PDAs) and opportunistic contacts be...
158
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Feature gene extraction is a fundamental issue in microarray-based biomarker discovery. It is normally treated as an optimization problem of finding the best predictiv...
161
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Many high-throughput genomic experiments, such as Synthetic Genetic Array and yeast two-hybrid, use colony growth on solid media as a screen metric. These experiments ...
151
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Feature selection techniques are critical to the analysis of high dimensional datasets. This is especially true in gene selection from microarray data which are common...
151
click to vote
COR
2008
15 years 6 months ago
2008
: The paper presents results on the runtime complexity of two ant colony optimization (ACO) algorithms: Ant System, the oldest ACO variant, and GBAS, the first ACO variant for whic...