738 search results - page 38 / 148 » Prime Implicant Computation Using Satisfiability Algorithms |
120
click to vote
EC
2006
15 years 1 months ago
2006
The error threshold of replication is an important notion of the quasispecies evolution model; it is a critical mutation rate (error rate) beyond which structures obtained by an e...
116
click to vote
ICDCS
2008
IEEE
15 years 8 months ago
2008
IEEE
Quorum-based Power Saving (QPS) protocols have been proposed for ad hoc networks (e.g., IEEE 802.11 ad hoc mode) to increase energy efficiency and prolong the operational time of...
150
Voted
ISSS
2000
IEEE
15 years 5 months ago
2000
IEEE
One important part of a HW/SW codesign system is the scheduler which is needed in order to determine if a given HW/SW partitioning is suitable for a given application. In this pap...
112
click to vote
FOCS
2008
IEEE
15 years 1 months ago
2008
IEEE
The nested dissection method developed by Lipton, Rose, and Tarjan is a seminal method for quickly performing Gaussian elimination of symmetric real positive definite matrices who...
115
click to vote
HUC
2009
Springer
15 years 6 months ago
2009
Springer
Intelligibility can help expose the inner workings and inputs of context-aware applications that tend to be opaque to users due to their implicit sensing and actions. However, use...