Sciweavers

728 search results - page 103 / 146
» Consistency in Augmented Reality Systems
Sort
View
HAPTICS
2008
IEEE
14 years 2 months ago
Haptic Feedback Based on Physically Based Modeling for Cellular Manipulation Systems
This paper focuses on developing a haptic rendering technique for cellular manipulation using image processing techniques and physically based models. The interaction forces betwee...
Jungsik Kim, Farrokh Janabi-Sharifi, Jung Kim
VR
2009
IEEE
156views Virtual Reality» more  VR 2009»
14 years 2 months ago
A Virtual Iraq System for the Treatment of Combat-Related Posttraumatic Stress Disorder
Posttraumatic Stress Disorder (PTSD) is reported to be caused by traumatic events that are outside the range of usual human experience including (but not limited to) military comb...
Shih-Ching Yeh, Brad Newman, Matt Liewer, Jarrell ...
HAPTICS
2009
IEEE
14 years 2 months ago
Haptic interface for perceiving remote object using a laser range finder
This paper describes development of a haptic interface using a laser range finder. The system consists of a laser range finder, computer and a 1 degree-of-freedom haptic apparat...
Hiroaki Yano, Yuichi Miyamoto, Hiroo Iwata
NFM
2011
264views Formal Methods» more  NFM 2011»
13 years 2 months ago
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Mich...
BPSC
2009
138views Business» more  BPSC 2009»
13 years 5 months ago
A Medical Diagnosis System based on MAS Technology and Neural Networks
: Reliable, cost-efficient, and fast medical diagnosis is still a challenge in today's world. This paper presents a medical diagnosis system that combines the advantages of mu...
Christina Stoica-Klüver, Jürgen Klü...