4211 search results - page 533 / 843 » Types as Abstract Interpretations |
144
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Gene expression microarray data is notoriously subject to high signal variability. Moreover, unavoidable variation in the concentration of transcripts applied to micro...
159
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Statistical methods for identifying positively selected sites in protein coding regions are one of the most commonly used tools in evolutionary bioinformatics. However...
181
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The recent accumulation of closely related genomic sequences provides a valuable resource for the elucidation of the evolutionary histories of various organisms. Howev...
227
click to vote
IJDAR
2006
15 years 6 months ago
2006
Evaluation of object detection algorithms is a non-trivial task: a detection result is usually evaluated by comparing the bounding box of the detected object with the bounding box...
176
click to vote
IJFCS
2006
15 years 6 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...