805 search results - page 119 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
148
click to vote
ACMDIS
2000
ACM
15 years 8 months ago
2000
ACM
: Expanding the functionality of a successful system is always a challenge; the initial simplicity and ease-of-use is easily lost in the process. Experience indicates that this pro...
124
Voted
NORDICHI
2004
ACM
15 years 9 months ago
2004
ACM
In eye typing systems, a dwell time that adjusts to the user’s natural typing speed is highly desirable. We present an algorithm for on-line adjustment of dwell time developed a...
140
Voted
POPL
2004
ACM
15 years 9 months ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
145
click to vote
ACMDIS
2010
ACM
15 years 4 months ago
2010
ACM
When using the computer, each user has some notion that "these applications are important" at a given point in time. We term this subset of applications that the user va...
151
Voted
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Multiagent environments are often not cooperative nor collaborative; in many cases, agents have conflicting interests, leading to adversarial interactions. This paper presents a ...