6020 search results - page 566 / 1204 » A New Approach to Model Counting |
225
click to vote
BMCBI
2004
15 years 7 months ago
2004
Background: Many current gene prediction methods use only one model to represent proteincoding regions in a genome, and so are less likely to predict the location of genes that ha...
197
click to vote
KDD
2012
ACM
13 years 9 months ago
2012
ACM
Personalization is a ubiquitous phenomenon in our daily online experience. While such technology is critical for helping us combat the overload of information we face, in many cas...
176
click to vote
ECCV
2000
Springer
16 years 9 months ago
2000
Springer
The initialisation of segmentation methods aiming at the localisation of biological structures in medical imagery is frequently regarded as a given precondition. In practice, howev...
210
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
Among the many techniques for system-level power management, it is not currently possible to guarantee timing constraints and have a comprehensive system model at the same time. S...
214
click to vote
GLVLSI
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a novel statistical capacitance extraction method for interconnects considering process variations. The new method, called statCap, is based on the spect...