Sciweavers

13784 search results - page 1983 / 2757
» On Computing Functions with Uncertainty
Sort
View
SAS
2009
Springer
171views Formal Methods» more  SAS 2009»
16 years 8 months ago
Bottom-Up Shape Analysis
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
Bhargav S. Gulavani, Supratik Chakraborty, Ganesan...
CHI
2008
ACM
16 years 8 months ago
Heuristic evaluation for games: usability principles for video game design
Most video games require constant interaction, so game designers must pay careful attention to usability issues. However, there are few formal methods for evaluating the usability...
David Pinelle, Nelson Wong
CHI
2008
ACM
16 years 8 months ago
Evaluation of a role-based approach for customizing a complex development environment
Coarse-grained approaches to customization allow the user to enable or disable groups of features at once, rather than individual features. While this may reduce the complexity of...
Leah Findlater, Joanna McGrenere, David Modjeska
CHI
2008
ACM
16 years 8 months ago
Multi-flick: an evaluation of flick-based scrolling techniques for pen interfaces
Multi-flick, which consists of repeated flick actions, has received media attention as an intuitive and natural document-scrolling technique for stylus based systems. In this pape...
Dzmitry Aliakseyeu, Pourang Irani, Andrés L...
CHI
2008
ACM
16 years 8 months ago
Breaking the disposable technology paradigm: opportunities for sustainable interaction design for mobile phones
We present a qualitative study of mobile phone ownership, replacement and disposal practices geared towards identifying design opportunities towards sustainable mobile phone inter...
Elaine M. Huang, Khai N. Truong
« Prev « First page 1983 / 2757 Last » Next »