994 search results - page 51 / 199 » Declarative Programming of User Interfaces |
116
Voted
BCSHCI
2008
15 years 4 months ago
2008
Programming is an activity centred primarily around the keyboard which is not necessarily the optimal input device for all users. Little research has taken place into alternative ...
143
Voted
TAP
2010
Springer
15 years 15 days ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
118
click to vote
SIGGRAPH
1999
ACM
15 years 7 months ago
1999
ACM
We present a sketching interface for quickly and easily designing freeform models such as stuffed animals and other rotund objects. The user draws several 2D freeform strokes inte...
130
Voted
CHI
1996
ACM
15 years 6 months ago
1996
ACM
The NewsComm system delivers personalized news and other program material as audio to mobile users through a hand-held playback device. This paper focuses on the iterative design ...
124
Voted
INTERACT
2003
15 years 4 months ago
2003
: An increasing number of consumer products for everyday use offer the user advanced programming capabilities. Existing technologies offer the potential to design human-product int...