Sciweavers

3884 search results - page 11 / 777
» A simplified modeling approach for human system interaction
Sort
View
DSVIS
1998
Springer
14 years 25 days 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
ESWS
2008
Springer
13 years 10 months ago
Simplifying the Web Service Discovery Process
One of the crucial reasons for adding semantic descriptions to Web services is to enable intelligent discovery, removing the need for a human to manually search and browse textual ...
Nathalie Steinmetz, Mick Kerrigan, Holger Lausen, ...
SMC
2007
IEEE
143views Control Systems» more  SMC 2007»
14 years 2 months ago
Enabling gestural interaction by means of tracking dynamical systems models and assistive feedback
— The computational understanding of continuous human movement plays a significant role in diverse emergent applications in areas ranging from human computer interaction to phys...
Yon Visell, Jeremy R. Cooperstock
IAT
2006
IEEE
14 years 2 months ago
A Multi-Agent Approach to Social Human Behaviour in Children's Play
This paper introduces a multi-agent system (MAS) approach for modelling social behaviours in children’s play. The children, the dynamics of their play, and the playground are mo...
Frodi Hammer, Alireza Derakhshan, Yves Demazeau, H...
HF
2002
95views more  HF 2002»
13 years 8 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