2036 search results - page 285 / 408 » From Sampling to Model Counting |
98
Voted
IOR
2010
15 years 1 months ago
2010
During counterinsurgency operations, government forces with superior …repower confront weaker lowsignature insurgents. Under what conditions should government (Blue) forces atta...
171
Voted
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...
116
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Time-of-flight mass spectrometry (TOF-MS) has the potential to provide non-invasive, high-throughput screening for cancers and other serious diseases via detection of ...
148
Voted
KAIS
2008
15 years 2 months ago
2008
Much work on skewed, stochastic, high dimensional, and biased datasets usually implicitly solve each problem separately. Recently, we have been approached by Texas Commission on En...
155
Voted
BMCBI
2011
14 years 6 months ago
2011
Background: Copy number data are routinely being extracted from genome-wide association study chips using a variety of software. We empirically evaluated and compared four freely-...