214 search results - page 31 / 43 » An Experimental Evaluation on Reliability Features of N-Vers... |
TMI
2002
14 years 9 months ago
2002
A fully automatic method is presented to detect abnormalities in frontal chest radiographs which are aggregated into an overall abnormality score. The method is aimed at finding ab...
BCS
2008
14 years 11 months ago
2008
Using formal verification for designing hardware designs free from logic design bugs has been an active area of research since the last 15 years. Technology has matured and we hav...
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
Software correctness has bedeviled the field of computer science since its inception. Software complexity has increased far more quickly than our ability to control it, reaching ...
MICCAI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper, we propose a new feature based non-rigid image registration method for dealing with two important issues. First, in order to establish reliable anatomical ...
66
Voted
CEC
2008
IEEE
15 years 3 months ago
2008
IEEE
—We present an approach for automated evolutionary design of the functionary of driving agent, able to operate a software model of fast running car. The objective of our work is ...