6020 search results - page 1116 / 1204 » A New Approach to Model Counting |
175
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: As the size of the known human interactome grows, biologists increasingly rely on computational tools to identify patterns that represent protein complexes and pathway...
151
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: There are many important clustering questions in computational biology for which no satisfactory method exists. Automated clustering algorithms, when applied to large,...
157
click to vote
SAC
2006
ACM
15 years 4 months ago
2006
ACM
Fast and accurate fault detection is becoming an essential component of management software for mission critical systems. A good fault detector makes possible to initiate repair a...
133
click to vote
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
Group elevator scheduling has long been recognized as an important problem for building transportation efficiency, since unsatisfactory elevator service is one of the major complai...
154
click to vote
TPDS
2008
15 years 4 months ago
2008
This paper presents the Mitosis framework, which is a combined hardware-software approach to speculative multithreading, even in the presence of frequent dependences among threads....