103 search results - page 12 / 21 » A Formal Methods Approach to Medical Device Review |
AOSD
2009
ACM
13 years 8 months ago
2009
ACM
Traditional methods characterize a software product line's requirements using either functional or quality criteria. This appears to be inadequate to assess modularity, detec...
MICCAI
2004
Springer
14 years 11 months ago
2004
Springer
This paper presents an autostereoscopic three-dimensional (3-D) surgical display with high quality integral videography (IV) rendering algorithm. IV is an animated extension of int...
ISBI
2004
IEEE
14 years 11 months ago
2004
IEEE
An autostereoscopic display and analysis system has been developed to aid the development of three-dimensional (3-D) cardiac imaging for use during minimally invasive cardiac surg...
ISBI
2007
IEEE
14 years 5 months ago
2007
IEEE
We present a new method aimed at restoring structures in 3D US images. In our approach, 3D US data acquired with tilt devices is resampled into cylindrical coordinates with the pu...
FMCO
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...