1813 search results - page 295 / 363 » Constraint Based Methods for Biological Sequence Analysis |
174
click to vote
BMCBI
2011
14 years 10 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...
162
click to vote
3DIM
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we present a new approach to high quality 3D object reconstruction. Starting from a calibrated sequence of color images, the algorithm is able to reconstruct both t...
141
click to vote
JFP
2008
15 years 3 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
116
click to vote
BIOCOMP
2008
15 years 5 months ago
2008
-- To successfully apply RNAi, the very first step is to design functional siRNA or shRNA sequences targeting specific genes. Many characteristics of functional synthetic siRNAs ha...
159
Voted
AIPS
2009
15 years 4 months ago
2009
Dynamic plan execution strategies allow an autonomous agent to respond to uncertainties while improving robustness and reducing the need for an overly conservative plan. Executive...