Sciweavers

3884 search results - page 195 / 777
» A simplified modeling approach for human system interaction
Sort
View
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
15 years 7 months ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford
115
Voted
TVCG
2008
147views more  TVCG 2008»
15 years 1 months ago
Interactive Visual Steering - Rapid Visual Prototyping of a Common Rail Injection System
Interactive steering with visualization has been a common goal of the visualization research community for twenty years, but it is rarely ever realized in practice. In this paper w...
Kresimir Matkovic, Denis Gracanin, Mario Jelovic, ...
AIIDE
2008
15 years 4 months ago
Simulation-Based Story Generation with a Theory of Mind
Emergent narrative refers to simulation-based systems in which stories emerge from the autonomous interactions among character agents and/or the human player. Despite its advantag...
Paul Hsueh-Min Chang, Von-Wun Soo
123
Voted
CGF
2005
232views more  CGF 2005»
15 years 1 months ago
Algorithms for Interactive Editing of Level Set Models
Level set models combine a low-level volumetric representation, the mathematics of deformable implicit surfaces, and powerful, robust numerical techniques to produce a novel appro...
Ken Museth, David E. Breen, Ross T. Whitaker, Sean...
EUROSSC
2006
Springer
15 years 5 months ago
Toward Wide Area Interaction with Ubiquitous Computing Environments
Despite many years of ubiquitous computing (ubicomp) middleware research, deployment of such systems has not been widespread. We suggest this is in part because we lack a shared mo...
Michael Blackstock, Rodger Lea, Charles Krasic