967 search results - page 143 / 194 » Automated benchmarking and analysis tool |
BMCBI
2006
13 years 9 months ago
2006
Background: Phylogenetic analysis of large, multiple-gene datasets, assembled from public sequence databases, is rapidly becoming a popular way to approach difficult phylogenetic ...
VSTTE
2005
Springer
14 years 3 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
BMCBI
2008
13 years 9 months ago
2008
Background: The increasing amount of published literature in biomedicine represents an immense source of knowledge, which can only efficiently be accessed by a new generation of a...
UML
2001
Springer
14 years 2 months ago
2001
Springer
System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML development, this means that system test requirements ...
IGARSS
2009
13 years 7 months ago
2009
In this study, the authors investigate the use of hyperspectral imaging for food crop monitoring and contamination detection and characterization. The authors investigate the use ...