130 search results - page 18 / 26 » IRIS: A Semi-Formal Approach for Detecting Requirements Inte... |
MICCAI
1999
Springer
13 years 11 months ago
1999
Springer
We present a new metaphor for learning anatomy - the 3d puzzle. With this metaphor students learn anatomic relations by assembling a geometric model themselves. For this purpose, a...
HAPTICS
2002
IEEE
13 years 11 months ago
2002
IEEE
In this paper, we present computationally efficient algorithms for the real time simulation of minimally invasive surgical (MIS) procedures. To develop a surgical simulator for tr...
HICSS
2003
IEEE
14 years 5 hour ago
2003
IEEE
This paper1 provides a view of modeling the information dominance problem of military systems as representative of modeling other complex systems. The ideas are an extension of ea...
CVPR
2010
IEEE
13 years 11 months ago
2010
IEEE
Videos of multi-player team sports provide a challenging domain for dynamic scene analysis. Player actions and interactions are complex as they are driven by many factors, such as...
ICSE
2003
IEEE-ACM
14 years 6 months ago
2003
IEEE-ACM
Comprehensive consistency management requires a strong mechanism for repair once inconsistencies have been detected. In this paper we present a repair framework for inconsistent d...