Sciweavers

4508 search results - page 364 / 902
» Design of human-map system interaction
Sort
View
ENTCS
2000
60views more  ENTCS 2000»
15 years 6 months ago
Writing Constructive Proofs Yielding Efficient Extracted Programs
The NuPRL system [3] was designed for interactive writing of machine
Aleksey Nogin
CHI
2007
ACM
16 years 7 months ago
Pointing lenses: facilitating stylus input through visual-and motor-space magnification
Using a stylus on a tablet computer to acquire small targets can be challenging. In this paper we present pointing lenses ? interaction techniques that help users acquire and sele...
Gonzalo Ramos, Andy Cockburn, Ravin Balakrishnan, ...
ISWC
2002
IEEE
15 years 11 months ago
A Menu Interface for Wearable Computing
We present a menu interface designed primarily for headworn displays that have a small field-of-view. To support interaction with a hierarchical menu, we logically divide an absol...
Gábor Blaskó, Steven Feiner
ICAS
2009
IEEE
109views Robotics» more  ICAS 2009»
16 years 1 months ago
Ponder2: A Policy System for Autonomous Pervasive Environments
Policies form an important part of management and can be an effective means of implementing self-adaptation in pervasive systems. Most policy-based systems focus on large-scale ne...
Kevin P. Twidle, Naranker Dulay, Emil Lupu, Morris...
CHI
2004
ACM
16 years 7 months ago
Supporting social presence through lightweight photo sharing on and off the desktop
Lightweight photo sharing, particularly via mobile devices, is fast becoming a common communication medium used for maintaining a presence in the lives of friends and family. How ...
Scott Counts, Eric Fellheimer