2748 search results - page 468 / 550 » Generating Object-Z Specifications from Use Cases |
120
click to vote
BMCBI
2008
14 years 12 months ago
2008
Background: At intermediate stages of genome assembly projects, when a number of contigs have been generated and their validity needs to be verified, it is desirable to align thes...
BMCBI
2005
14 years 11 months ago
2005
Background: Gene duplication and gene loss during the evolution of eukaryotes have hindered attempts to estimate phylogenies and divergence times of species. Although current meth...
112
Voted
BMCBI
2005
14 years 11 months ago
2005
Background: Graph theory provides a computational framework for modeling a variety of datasets including those emerging from genomics, proteomics, and chemical genetics. Networks ...
113
click to vote
ICS
2010
Tsinghua U.
15 years 2 months ago
2010
Tsinghua U.
Existing supercomputers have hundreds of thousands of processor cores, and future systems may have hundreds of millions. Developers need detailed performance measurements to tune ...
110
click to vote
CI
2011
14 years 6 months ago
2011
This paper is focused on how a general-purpose hierarchical planning representation, based on the HTN paradigm, can be used to support the representation of oncology treatment pro...