3742 search results - page 525 / 749 » On the Use of Formal Techniques for Validation |
182
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
The pharmaceutical industry is facing an ever-increasing demand to discover novel drugs that are more effective and safer than existing ones. The industry faces huge problem in im...
181
click to vote
CVPR
2000
IEEE
15 years 10 months ago
2000
IEEE
Nearest neighbor classification assumes locally constant class conditional probabilities. This assumption becomes invalid in high dimensions with finite samples due to the curse o...
174
click to vote
WSC
2007
15 years 9 months ago
2007
We consider the problem of pricing American options when the volatility of the underlying asset price is stochastic. No specific stochastic volatility model is assumed for the st...
147
click to vote
LREC
2008
15 years 8 months ago
2008
This paper discusses development and evaluation of a practical, valid and reliable instrument for evaluating the spoken language abilities of second-language (L2) learners of Engl...
152
click to vote
EGITALY
2006
15 years 8 months ago
2006
This paper reports a multidisciplinary research between computer science and plastic and reconstructive surgery. In particular, a new method is proposed to unambiguously define a ...