4460 search results - page 203 / 892 » Formal methods for interactive systems |
148
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Current methods to represent system or task usability in a single metric do not include all the ANSI and ISO defined usability aspects: effectiveness, efficiency & satisfactio...
125
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
What's My Method? is the game show that asks the question, "How do you user-test games?" The goal of this session is to highlight important differences between user...
180
click to vote
ICCV
1995
IEEE
15 years 10 months ago
1995
IEEE
The structure-from-motion problem has been extensively studied in the field of computer vision. Yet, the bulk of the existing work assumes that the scene contains only a single m...
211
click to vote
ADAEUROPE
2005
Springer
15 years 12 months ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
156
click to vote
APCHI
2004
IEEE
15 years 10 months ago
2004
IEEE
Conventional web browsing displays a web page inside of a window. In conventional web browsing, following a link replaces the previous document entirely, and the readers tend to lo...