205 search results - page 26 / 41 » Test Case Prioritization Based on Analysis of Program Struct... |
BMCBI
2004
14 years 10 months ago
2004
Background: RNA secondary structure prediction methods based on probabilistic modeling can be developed using stochastic context-free grammars (SCFGs). Such methods can readily co...
113
click to vote
BMCBI
2011
14 years 5 months ago
2011
Background: The prediction of the structure of large RNAs remains a particular challenge in bioinformatics, due to the computational complexity and low levels of accuracy of state...
86
Voted
CVPR
2008
IEEE
15 years 5 days ago
2008
IEEE
In this paper, we develop a geometric framework for linear or nonlinear discriminant subspace learning and classification. In our framework, the structures of classes are conceptu...
ISSTA
2010
ACM
15 years 11 days ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
ANLP
1992
14 years 11 months ago
1992
This paper presents a system which detects and corrects morpho-syntactic errors in Dutch texts. It includes a spelling corrector and a shift-reduce parser for Augmented Context-fr...