2748 search results - page 277 / 550 » Generating Object-Z Specifications from Use Cases |
129
click to vote
IEAAIE
1994
Springer
15 years 8 months ago
1994
Springer
Genetic Algorithms are heuristic search schemes based on a model of Darwinian evolution. Although not guaranteed to find the optimal solution, genetic algorithms have been shown t...
174
click to vote
TYPES
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. In the FTA project in Nijmegen we have formalized a constructive proof of the Fundamental Theorem of Algebra. In the formalization, we have first defined the (constructiv...
162
click to vote
BMCBI
2004
15 years 3 months ago
2004
Background: All known genomes code for a large number of transcription factors. It is important to develop methods that will reveal how these transcription factors act on a genome...
123
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: Many protein families have undergone functional divergence after gene duplications such that current subgroups of the family carry out overlapping but distinct biologi...
151
click to vote
BMCBI
2004
15 years 3 months ago
2004
Background: Two or more factor mixed factorial experiments are becoming increasingly common in microarray data analysis. In this case study, the two factors are presence (Patients...