2748 search results - page 468 / 550 » Generating Object-Z Specifications from Use Cases |
154
Voted
BMCBI
2008
15 years 3 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...
146
Voted
BMCBI
2005
15 years 3 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...
156
click to vote
BMCBI
2005
15 years 3 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 ...
144
Voted
ICS
2010
Tsinghua U.
15 years 6 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 ...
150
Voted
CI
2011
14 years 10 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...