Sciweavers

719 search results - page 53 / 144
» Performance Targets, Models and Innovation in Interactive Sy...
Sort
View
CARS
2001
14 years 11 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...
IROS
2006
IEEE
132views Robotics» more  IROS 2006»
15 years 3 months ago
3D interaction technique to enhance telemanipulation tasks using virtual environment
Abstract— This paper gives preliminary results about the utilization of an interaction technique called FOLLOW-ME to fasten the selection task for teleoperation system. The imple...
Nassima Ouramdane-Djerrah, Frédéric ...
CEC
2009
IEEE
15 years 1 months ago
Automatic system identification based on coevolution of models and tests
In evolutionary robotics, controllers are often designed in simulation, then transferred onto the real system. Nevertheless, when no accurate model is available, controller transfe...
Sylvain Koos, Jean-Baptiste Mouret, Stéphan...
HF
2002
95views more  HF 2002»
14 years 9 months ago
Formal Verification of Human-Automation Interaction
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
Asaf Degani, Michael Heymann
DSVIS
1998
Springer
15 years 2 months ago
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
Meurig Sage, Chris Johnson