6014 search results - page 488 / 1203 » Structural Testing with Use Cases |
173
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
In this paper we propose a new approach for false positive reduction in the field of mammographic mass detection. The goal is to distinguish between the true recognized masses and ...
170
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
In this work we propose a novel rigid image registration approach to determine the position of high-resolution molecular structures in medium-resolution macromolecular complexes. ...
148
click to vote
KBSE
2008
IEEE
16 years 27 days ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
169
click to vote
ICRA
2007
IEEE
16 years 24 days ago
2007
IEEE
In this paper, we present a vision-based terrain mapping and analysis system, and a model predictive control (MPC)based flight control system, for autonomous landing of a helicop...
171
click to vote
DEXA
2005
Springer
16 years 1 days ago
2005
Springer
Bitmap indices are efficient data structures for processing complex, multi-dimensional queries in data warehouse applications and scientific data analysis. For high-cardinality at...