1620 search results - page 116 / 324 » Testing Polymorphic Properties |
129
Voted
ECSQARU
2005
Springer
15 years 10 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...
143
click to vote
DATE
2002
IEEE
15 years 10 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...
108
click to vote
GECCO
2010
Springer
15 years 9 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...
157
click to vote
DAC
1994
ACM
15 years 8 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...
125
Voted
ICASSP
2010
IEEE
15 years 5 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...