6020 search results - page 430 / 1204 » A New Approach to Model Counting |
167
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: A major obstacle in treatment of HIV is the ability of the virus to mutate rapidly into drug-resistant variants. A method for predicting the susceptibility of mutated ...
179
click to vote
TOG
2008
15 years 6 months ago
2008
Our goal is to simulate the full hair geometry, consisting of approximately one hundred thousand hairs on a typical human head. This will require scalable methods that can simulat...
209
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Comparative prediction of RNA structures can be used to identify functional noncoding RNAs in genomic screens. It was shown recently by Babak et al. [BMC Bioinformatic...
202
click to vote
BMVC
2010
15 years 5 months ago
2010
The paper proposes a new method to perform foreground detection by means of background modeling using the tensor concept. Sometimes, statistical modelling directly on image values...
173
click to vote
IWSAS
2001
Springer
15 years 11 months ago
2001
Springer
The Infrastructure of modern society is controlled by software systems that are vulnerable to attack. Successful attacks on these systems can lead to catastrophic results; the sur...