1054 search results - page 165 / 211 » Translation Validation of System Abstractions |
126
click to vote
MICCAI
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Endoscopic endonasal skull base surgery (ESBS) requires high accuracy to ensure safe navigation of the critical anatomy at the anterior skull base. Current navigation sys...
156
click to vote
MICCAI
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Computer aided detection (CAD) of colonic polyps in computed tomographic colonography has tremendously impacted colorectal cancer diagnosis using 3D medical imaging. It i...
146
click to vote
SAC
2009
ACM
16 years 26 days ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
174
click to vote
IROS
2009
IEEE
16 years 21 days ago
2009
IEEE
Abstract— When a robot travels in urban area, Global Positional System (GPS) signals might be obstructed by buildings. Hence visual odometry is a choice. We notice that the verti...
152
click to vote
ICRA
2008
IEEE
16 years 15 days ago
2008
IEEE
Abstract— Safety is a critical characteristic for robots designed to operate in human environments. This paper presents the concept of hybrid actuation for the development of hum...