1492 search results - page 98 / 299 » Testing Properties of Constraint-Graphs |
113
Voted
ECSQARU
2005
Springer
15 years 9 months ago
2005
Springer
The main task of drug discovery is to find novel bioactive molecules, i.e., chemical compounds that, for example, protect human cells against a virus. One way to support solving t...
129
Voted
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
The problem of fault grading for multiple path delay faults is studied and a method of obtaining the exact coverage is presented. The faults covered are represented and manipulate...
97
Voted
GECCO
2010
Springer
15 years 7 months ago
2010
Springer
We propose a novel variant of the (1 + 1)-CMA-ES that updates the distribution of mutation vectors based on both successful and unsuccessful trial steps. The computational costs o...
144
Voted
DAC
1994
ACM
15 years 7 months ago
1994
ACM
-- In previous work, Hu and Dill identified a common cause of BDD-size blowup in high-level design verification and proposed the method of implicitly conjoined invariants to addres...
109
Voted
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
In this paper a large amount of absolute mean opinion scores obtained within a single listening test are presented. Naïve listeners’ preference on different speech signal prope...