6289 search results - page 331 / 1258 » Error Sequence Analysis |
212
Voted
ISSTA
2012
ACM
13 years 9 months ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
195
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Traditional algorithms for hidden Markov model decoding seek to maximize either the probability of a state path or the number of positions of a sequence assigned to th...
209
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: BLAST searches are widely used for sequence alignment. The search results are commonly adopted for various functional and comparative genomics tasks such as annotating...
151
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Non-coding RNAs (ncRNAs) have a multitude of roles in the cell, many of which remain to be discovered. However, it is difficult to detect novel ncRNAs in biochemical s...
184
click to vote
SAS
1997
Springer
15 years 10 months ago
1997
Springer
We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion. The analysis is exact in the following sense: if the analysis ...