2940 search results - page 564 / 588 » Relational Parametricity and Control |
GECCO
2008
Springer
14 years 10 months ago
2008
Springer
Capability planning problems are pervasive throughout many areas of human interest with prominent examples found in defense and security. Planning provides a unique context for op...
GG
2008
Springer
14 years 10 months ago
2008
Springer
This event is the second instance of the contest for graph transformation-based tools, which was first held as part of the AGTIVE workshop. The aim is to stimulate tool developmen...
BMCBI
2010
14 years 9 months ago
2010
Background: The Salivaomics Knowledge Base (SKB) is designed to serve as a computational infrastructure that can permit global exploration and utilization of data and information ...
BMCBI
2010
2010
Evaluation of methods for detection of fluorescence labeled subcellular objects in microscope images
14 years 9 months ago
Background: Several algorithms have been proposed for detecting fluorescently labeled subcellular objects in microscope images. Many of these algorithms have been designed for spe...
BMCBI
2008
14 years 9 months ago
2008
Background: Understanding how genes are expressed and regulated in different tissues is a fundamental and challenging question. However, most of currently available biological dat...