3555 search results - page 476 / 711 » Security-Critical System Development with Extended Use Cases |
158
click to vote
HASE
1998
IEEE
15 years 10 months ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
173
click to vote
IPMI
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. A computer-aided diagnosis (CAD) system to detect smallsize (from 2 mm to around 10 mm) pulmonary nodules in helical CT scans is developed. This system uses different sc...
161
Voted
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
: Ultrasound technologies have been widely used in gynecology and obstetrics. Modern ultrasound systems allow the reconstruction of a 3D model of the subject being scanned. Even th...
128
Voted
STOC
2001
ACM
16 years 5 months ago
2001
ACM
In this paper we analyze the behavior of quantum random walks. In particular we present several new results for the absorption probabilities in systems with both one and two absor...
144
click to vote
SIBGRAPI
2009
IEEE
16 years 11 days ago
2009
IEEE
—Network cameras, extensively used in video surveillance, often allow pan-tilt-zoom functionality and are also subject to wind load and mount vibrations, thus causing video frame...