Sciweavers

3884 search results - page 336 / 777
» A simplified modeling approach for human system interaction
Sort
View
PTS
2008
98views Hardware» more  PTS 2008»
15 years 8 months ago
Modular System Verification by Inference, Testing and Reachability Analysis
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
Roland Groz, Keqin Li 0002, Alexandre Petrenko, Mu...
AVI
2004
15 years 8 months ago
Observing and adapting user behavior in navigational 3D interfaces
In a navigation-oriented interaction paradigm, such as desktop, mixed and augmented virtual reality, recognizing the user needs is a valuable improvement, provided that the system...
Augusto Celentano, Fabio Pittarello
CHI
2007
ACM
16 years 7 months ago
Mapmover: a case study of design-oriented research into collective expression and constructed publics
In this paper we present the MapMover project as a case study into the use and design of an interactive system for collective expression. Informed by analysis and reflection we ad...
Carl F. DiSalvo, Jeff Maki, Nathan Martin
CHI
1999
ACM
15 years 11 months ago
Principles of Mixed-Initiative User Interfaces
Recent debate has centered on the relative promise of focusing user-interface research on developing new metaphors and tools that enhance users’ abilities to directly manipulate...
Eric Horvitz
CHI
2009
ACM
15 years 10 months ago
Connecting the dots with related notes
During visual analysis, users must often connect insights discovered at various points of time to understand implicit relations within their analysis. This process is often called...
Yedendra Babu Shrinivasan, David Gotz