12568 search results - page 194 / 2514 » Selective user interaction |
138
click to vote
STTT
2010
15 years 2 months ago
2010
This article proposes a case study to evaluate the suitability of graph transformation tools for program refactoring. In order to qualify for this purpose, a graph transformation s...
137
click to vote
CADE
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Sledgehammer is a component of Isabelle/HOL that employs firstorder automatic theorem provers (ATPs) to discharge goals arising in interactive proofs. It heuristically s...
156
click to vote
IUI
2004
ACM
15 years 9 months ago
2004
ACM
The WALK mode is one of the most common navigation interfaces for 3D virtual environments. However, due to the limited view angle and low frame rate, users are often blocked by ob...
129
click to vote
IJHCI
2008
15 years 4 months ago
2008
Interactive digital television (iDTV) is a social medium and must therefore be tested in a context as close to real life as possible. This explains why we saw the potential and im...
126
Voted
CHI
2005
ACM
16 years 4 months ago
2005
ACM
This paper outlines my professional background and interests in the `user-experience' field. I summarise my current relevant responsibilities related to my employment as a sp...