Sciweavers

3018 search results - page 102 / 604
» Leveraging the
Sort
View
CHI
2009
ACM
14 years 9 months ago
GestureBar: improving the approachability of gesture-based interfaces
GestureBar is a novel, approachable UI for learning gestural interactions that enables a walk-up-and-use experience which is in the same class as standard menu and toolbar interfa...
Andrew Bragdon, Robert C. Zeleznik, Brian Williams...
CHI
2009
ACM
14 years 9 months ago
Tangible message bubbles for children's communication and play
We introduce Tangible Message Bubbles, a new composition and communication tool that invites youngsters to express and record their everyday expressions, play with these original ...
Kimiko Ryokai, Hayes Raffle, Andy Brooks
CHI
2009
ACM
14 years 9 months ago
Lessons from brain age on persuasion for computer security
Users generally have difficulty understanding and managing computer security tasks. We examined Nintendo's Brain Age games for ways to help users remember more secure passwor...
Alain Forget, Sonia Chiasson, Robert Biddle
CAV
2009
Springer
137views Hardware» more  CAV 2009»
14 years 9 months ago
VS3: SMT Solvers for Program Verification
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Fost...
CHI
2007
ACM
14 years 9 months ago
Strategies for accelerating on-line learning of hotkeys
Hotkeys are extremely useful in leveraging expert performance, but learning them is a slow process. This paper investigates alternative menu designs that can motivate and help use...
Tovi Grossman, Pierre Dragicevic, Ravin Balakrishn...