2740 search results - page 224 / 548 » A Model-Based Approach To Requirements Analysis |
166
click to vote
CCA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can...
131
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Quantitative proteomics technologies have been developed to comprehensively identify and quantify proteins in two or more complex samples. Quantitative proteomics base...
139
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Microarray technology provides an efficient means for globally exploring physiological processes governed by the coordinated expression of multiple genes. However, ide...
146
click to vote
SP
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract. Phylogenetic inference is considered a grand challenge in Bioinformatics due to its immense computational requirements. The increasing popularity and availability of larg...
141
click to vote
TC
1998
15 years 3 months ago
1998
ion Techniques for Validation Coverage Analysis and Test Generation Dinos Moundanos, Jacob A. Abraham, Fellow, IEEE, and Yatin V. Hoskote —The enormous state spaces which must be...