6020 search results - page 987 / 1204 » A New Approach to Model Counting |
149
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: The prediction of a consensus structure for a set of related RNAs is an important first step for subsequent analyses. RNAalifold, which computes the minimum energy str...
188
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Elucidating biological networks between proteins appears nowadays as one of the most important challenges in systems biology. Computational approaches to this problem ...
251
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
The automatic extraction and labeling of the rib centerlines is a useful yet challenging task in many clinical applications. In this paper, we propose a new approach integrating r...
224
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
This paper presents a novel approach for the synthesis of dynamic CMOS circuits using Domino and Nora styles. As these logic styles can implement only non-inverting logic, convent...
184
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
—The vision of the Semantic Web has brought about new challenges at the intersection of web research and data management. One fundamental research issue at this intersection is t...