134 search results - page 3 / 27 » Improving modularity and usability of interactive systems wi... |
AISC
2010
Springer
13 years 5 months ago
2010
Springer
In spite of the remarkable achievements recently obtained in the field of mechanization of formal reasoning, the overall usability of interactive provers does not seem to be sensib...
PRESENCE
2006
13 years 7 months ago
2006
This paper describes two methods for analyzing interactions in collaborative virtual environments (CVEs): one whereby quantitative data are captured, interaction is categorized in...
CHI
2002
ACM
14 years 7 months ago
2002
ACM
HANDS is a new programming system for children that was designed for usability. This paper examines the effectiveness of three features of HANDS: queries, aggregate operations, an...
CHI
2008
ACM
14 years 7 months ago
2008
ACM
In the 2006 U.S. election, it was estimated that over 66 million people would be voting on direct recording electronic (DRE) systems in 34% of the nation's counties [8]. Alth...
AUTOMOTIVEUI
2009
ACM
14 years 2 months ago
2009
ACM
Driving behavior has been trending towards more time in the car and longer commutes. This has fueled the demand for an increasing number of in-vehicle infotainment features, at th...