Sciweavers

3938 search results - page 473 / 788
» Interactive Protocols on the Reals
Sort
View
DSVIS
1998
Springer
15 years 11 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
CHI
1994
ACM
15 years 11 months ago
Using aggregation and dynamic queries for exploring large data sets
When working with large data sets, users perform three primary types of activities: data manipulation, data analysis, and data visualization. The data manipulation process involve...
Jade Goldstein, Steven F. Roth
ACMACE
2007
ACM
15 years 11 months ago
WikiTUI: leaving digital traces in physical books
This article describes the design of WikiTUI, a tangible user interface system that allows readers to manipulate multimedia information tied to page-level locations in common book...
Chih-Sung (Andy) Wu, Susan J. Robinson, Alexandra ...
ACMACE
2007
ACM
15 years 11 months ago
Building a table tennis game for three players
Physical leisure activities such as table tennis provide healthy exercise and can offer a means to connect with others socially; however, players have to be in the same physical l...
Florian Mueller, Martin R. Gibbs
APCHI
2004
IEEE
15 years 10 months ago
Supporting Work Activities in Healthcare by Mobile Electronic Patient Records
Abstract. Supporting work activities in healthcare is highly complex and challenging. This paper outlines the findings from a usability study of a commercial PC based electronic pa...
Jesper Kjeldskov, Mikael B. Skov