652 search results - page 83 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
LREC
2008
14 years 11 months ago
2008
The aim of this paper is to present the design of a multimodal database suitable for research on new possibilities for automatic diagnosis of patients with severe obstructive slee...
PAMI
2008
14 years 10 months ago
2008
The aim of this paper is to achieve seamless image stitching without producing visual artifact caused by severe intensity discrepancy and structure misalignment, given that the inp...
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
A recent trend in digital mammography are Computer-Aided Diagnosis systems, which are computerised tools designed to assist radiologists. Most of these systems are used for the au...
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper proposes an inverse kinematic model for deformable robots made entirely of electro-active polymer gel. The required method is to control higher degrees of freedom than ...
DAGSTUHL
2004
14 years 11 months ago
2004
A large part of safety-critical embedded systems has to satisfy hard real-time constraints. These need sound methods and tools to derive reliable run-time guarantees. The guarante...