809 search results - page 149 / 162 » Requirements by Contracts allow Automated System Testing |
104
click to vote
BMCBI
2008
14 years 11 months ago
2008
Background: As in many different areas of science and technology, most important problems in bioinformatics rely on the proper development and assessment of binary classifiers. A ...
129
click to vote
MM
2006
ACM
15 years 5 months ago
2006
ACM
Automated annotation of digital pictures has been a highly challenging problem for computer scientists since the invention of computers. The capability of annotating pictures by c...
BMCBI
2006
14 years 11 months ago
2006
Background: Gene function analysis often requires a complex and laborious sequence of laboratory and computer-based experiments. Choosing an effective experimental design generall...
CSE
2009
IEEE
15 years 6 months ago
2009
IEEE
—Sociological models of human behavior can explain population-level phenomena within social systems; computer modeling can simulate a wide variety of scenarios and allow one to p...
195
click to vote
SSDBM
2011
IEEE
14 years 3 months ago
2011
IEEE
Database technology remains underused in science, especially in the long tail the small labs and individual researchers that collectively produce the majority of scienti c output...