Sciweavers

1706 search results - page 155 / 342
» A design tool for camera-based interaction
Sort
View
CW
2003
IEEE
15 years 10 months ago
Virtual Experiment Environments Design for Science Education
Virtual reality technology is reported that the use of virtual reality(VR) as an educational tool can increase student interests, understanding and creative learning because of en...
Young-suk Shin
ICFP
2009
ACM
16 years 5 months ago
Effective interactive proofs for higher-order imperative programs
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
Adam J. Chlipala, J. Gregory Malecha, Greg Morrise...
HAPTICS
2006
IEEE
15 years 10 months ago
Design and Development of a General Purpose 7 DOF Haptic Device
A seven degree-of-freedom (DOF) haptic device has been developed with applications towards robot-assisted minimally invasive surgery. The device consists of four degrees of force ...
Gregory Tholey, Jaydev P. Desai
CARS
2001
15 years 6 months ago
Design of a neurosurgical procedure model for multimodal image-guided surgery
: In multimodal image-guided surgery, surgeons have to manage large amounts of information (i.e. images) to plan and perform the surgical procedure. To facilitate management we att...
Pierre Jannin, M. Raimbault, Xavier Morandi, E. Se...
IJVR
2008
108views more  IJVR 2008»
15 years 4 months ago
Designing and Using Semantic Virtual Environment over the Web
These Nowadays more Virtual Environment (VEs) are becoming available on the web. This means that VE are becoming more accessible to a larger and more diverse audience. It also mean...
Frederic Kleinermann, Haïthem Mansouri, Olga ...