Sciweavers

11376 search results - page 286 / 2276
» Willow System Demonstration
Sort
View
ICRA
2010
IEEE
151views Robotics» more  ICRA 2010»
15 years 4 months ago
Design and control of motion compensation cardiac catheters
Robotic cardiac catheters have the potential to revolutionize heart surgery by extending minimally invasive techniques to complex surgical repairs inside the heart. However, cathet...
Samuel B. Kesner, Robert D. Howe
FGCS
2011
115views more  FGCS 2011»
15 years 1 months ago
An approach for virtual appliance distribution for service deployment
Fulfilling a service request in highly dynamic service environments may require deploying a service. Therefore, the effectiveness of service deployment systems affects initial ...
Gabor Kecskemeti, Gábor Terstyánszky...
TII
2011
206views Education» more  TII 2011»
15 years 1 months ago
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
Simona Bernardi, Javier Campos, José Merseg...
IHI
2010
143views Healthcare» more  IHI 2010»
15 years 1 months ago
Mining and monitoring patterns of daily routines for assisted living in real world settings
In this paper we demonstrate a fully automated approach for discovering and monitoring patterns of daily activities. Discovering patterns of daily activities and tracking them can...
Parisa Rashidi, Diane J. Cook
TSMC
2010
15 years 1 months ago
Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
Ryan Robidoux, Haiping Xu, Liudong Xing, MengChu Z...