6608 search results - page 1253 / 1322 » On the Completeness of Model Checking |
134
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: The recent emergence of high-throughput automated image acquisition technologies has forever changed how cell biologists collect and analyze data. Historically, the in...
136
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Last years' mapping of diverse genomes has generated huge amounts of biological data which are currently dispersed through many databases. Integration of the info...
153
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Contrary to the sequential world, the processes involved in a distributed system do not necessarily know when a computation is globally finished. This paper investigates the proble...
145
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Supervised learning for classification of cancer employs a set of design examples to learn how to discriminate between tumors. In practice it is crucial to confirm tha...
138
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: With the completion of the genome sequences of human, mouse, and other species and the advent of high throughput functional genomic research technologies such as biomi...