Sciweavers

3532 search results - page 618 / 707
» Visualization of SystemC Designs
Sort
View
IPCAI
2010
14 years 1 months ago
Ultrasound Servoing of Catheters for Beating Heart Valve Repair
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, Shelten G. Yuen, Robert D. Howe
ESEM
2007
ACM
14 years 1 months ago
An Empirical Study of the Effects of Gestalt Principles on Diagram Understandability
Comprehension errors in software design must be detected at their origin to avoid propagation into later portions of the software lifecycle and also the final system. This researc...
Krystle Lemon, Edward B. Allen, Jeffrey C. Carver,...
HRI
2007
ACM
14 years 1 months ago
A dancing robot for rhythmic social interaction
This paper describes a robotic system that uses dance as a form of social interaction to explore the properties and importance of rhythmic movement in general social interaction. ...
Marek P. Michalowski, Selma Sabanovic, Hideki Kozi...
HICSS
2009
IEEE
107views Biometrics» more  HICSS 2009»
14 years 1 months ago
Emerging Standards in Virtual Fashion: An Analysis of Critical Strategies Used in Second Life Fashion Blogs
As virtual worlds evolve, so does the visual complexity and customizability of the avatars inside the worlds. In virtual worlds such as Second Life, prospering virtual fashion ind...
Jeffrey Bardzell, Tyler Pace, Laura Brunetti, Qian...
AMAST
2006
Springer
14 years 27 days ago
State Space Representation for Verification of Open Systems
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
Irem Aktug, Dilian Gurov