6941 search results - page 469 / 1389 » Testing as a Certification Approach |
183
click to vote
SWARM
2010
SPRINGER
15 years 12 months ago
2010
SPRINGER
Abstract. In this work we propose a different particle swarm optimization (PSO) algorithm that employs two key features of the conjugate gradient (CG) method. Namely, adaptive wei...
157
click to vote
ITC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper develops a novel approach for formally verifying both safety and liveness properties of designs using sequential ATPG tools. The properties are automatically mapped int...
141
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents a new Abductive Logic Programming (ALP) approach for assisting clinicians in the selection of antiretroviral drugs for patients infected with Human Im...
189
click to vote
FSKD
2006
Springer
15 years 10 months ago
2006
Springer
Information security evaluation of software-intensive systems typically relies heavily on the experience of the security professionals. Obviously, automated approaches are needed ...
181
click to vote
DAGM
1995
Springer
15 years 10 months ago
1995
Springer
The reliability and accuracy of point-based image registration strongly depends on the selection of suitable landmarks and on the precision of localizing theses landmarks in images...