14244 search results - page 569 / 2849 » Modeling Program Predictability |
182
click to vote
BIBE
2003
IEEE
15 years 11 months ago
2003
IEEE
The tertiary (3D) structure of a protein contains the essential information for understanding the biological function of the protein at the molecular and cellular levels. Traditio...
181
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Structural properties of proteins such as secondary structure and solvent accessibility contribute to three-dimensional structure prediction, not only in the ab initio...
167
click to vote
ESOP
2005
Springer
15 years 12 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
144
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
We describe a new method for pruning in dynamic models based on running an adaptive filtering algorithm online during decoding to predict aspects of the scores in the near future....
176
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: The large gap between the number of protein sequences in databases and the number of functionally characterized proteins calls for the development of a fast computatio...