Sciweavers

4201 search results - page 548 / 841
» Interaction graphs: Additives
Sort
View
VAST
2004
ACM
16 years 5 days ago
The Ancient Olympic Games: Being Part of the Experience
This paper presents the virtual reality applications that the Foundation of the Hellenic World has produced associated with the Olympic Games in ancient Greece. The separate virtu...
Athanasios Gaitatzes, Dimitrios Christopoulos, Geo...
CASSIS
2004
Springer
16 years 5 days ago
ESC/Java2: Uniting ESC/Java and JML
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
David R. Cok, Joseph Kiniry
DATE
2003
IEEE
128views Hardware» more  DATE 2003»
16 years 1 days ago
Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
Wei Qin, Sharad Malik
ICAT
2003
IEEE
16 years 1 days ago
SpaceSensor: Real-time Gesture Tracking for I-NEXT
In this paper, we propose a real-time gesture tracking technique for the personalized user interface exploiting non-contact 3D vision technique. We first separate a user of intere...
Dongpyo Hong, Woontack Woo
VISUALIZATION
2003
IEEE
16 years 1 days ago
Fast Volume Segmentation With Simultaneous Visualization Using Programmable Graphics Hardware
Segmentation of structures from measured volume data, such as anatomy in medical imaging, is a challenging data-dependent task. In this paper, we present a segmentation method tha...
Anthony Sherbondy, Michael Houston, Sandy Napel