3424 search results - page 401 / 685 » Automated Testing of Classes |
164
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents statistical default logic, an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferenti...
176
click to vote
EUROSEC
2010
ACM
15 years 11 months ago
2010
ACM
CAPTCHA is a standard security technology that presents tests to tell computers and humans apart. In this paper, we examine the security of a new CAPTCHA that was deployed until v...
160
Voted
EH
2003
IEEE
15 years 11 months ago
2003
IEEE
In the present paper, single-opamp sinusoidal oscillators are synthesized using genetic algorithms. The motivation is to evolve new topologies of oscillators using different activ...
155
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
An increasing number of university lectures and a vast majority of company presentations are being digitally archived for redistribution today. Most of these presentations take th...
155
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...