Sciweavers

4460 search results - page 271 / 892
» Formal methods for interactive systems
Sort
View
ECEASST
2008
75views more  ECEASST 2008»
15 years 6 months ago
Extended OCL for Goal Monitoring
Monitoring human-computer interaction aids the analysis for understanding how well software meets its purpose. In particular, monitoring human-computer interactions with respect to...
William N. Robinson
HAPTICS
2007
IEEE
16 years 16 days ago
Surface Interrogation Methods for Haptic Rendering of Virtual Objects
The process which enables virtual objects to mimic their real world counterparts is known as realistic rendering in haptics. Realistic sensations could relate to any spatial featu...
Anusha Sridaran, Dianne Hansford, Kanav Kahol, Set...
SI3D
2003
ACM
15 years 11 months ago
An evaluation of methods for linking 3D views
It is common for 3D visualization systems to provide multiple points of view to a user, but there have been many solutions to the problem of linking these views so that users can ...
Matthew Plumlee, Colin Ware
199
Voted
IROS
2007
IEEE
140views Robotics» more  IROS 2007»
16 years 13 days ago
Test-environment based on a team of miniature walking robots for evaluation of collaborative control methods
— For the collaborative control of a team of robots, a set of well-suited high-level control algorithms, especially for path planning and measurement scheduling, is essential. Th...
Florian Weissel, Marco F. Huber, Uwe D. Hanebeck
HCI
2007
15 years 7 months ago
A New Method for Multi-finger Detection Using a Regular Diffuser
In this paper, we developed a fingertip finding algorithm working with a regular diffuser. The proposed algorithm works on images captured by infra-red cameras, settled on one side...
Li-Wei Chan, Yi-Fan Chuang, Yi-Wei Chia, Yi-Ping H...