6357 search results - page 684 / 1272 » An Interactive Interface for Lighting-by-Example |
205
click to vote
AUTOMOTIVEUI
2009
ACM
15 years 12 months ago
2009
ACM
The increasing traffic volume confronts the road user with a challenging task. The high number of traffic deaths might not be reducible with passive safety alone. However systems ...
203
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
186
click to vote
CHI
2010
ACM
15 years 10 months ago
2010
ACM
We conducted a series of user studies to understand and clarify the fundamental characteristics of pressure in user interfaces for mobile devices. We seek to provide insight to cl...
192
click to vote
INTERNET
2010
15 years 5 months ago
2010
abstractions, concepts, and actions that characterize human experiences. This will herald computing for human experience (CHE). The CHE vision is built on a suite of technologies t...
234
click to vote
ACMIDC
2011
14 years 10 months ago
2011
LightUp is a constructionist platform to teach novices about electronics, and also a low-cost rapid-prototyping platform for more advanced users. The LightUp kit contains many bas...