4094 search results - page 352 / 819 » Acme: A User Interface for Programmers |
179
click to vote
PLDI
2012
ACM
13 years 10 months ago
2012
ACM
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...
166
click to vote
CHI
2010
ACM
16 years 2 months ago
2010
ACM
Devices capable of gestural interaction through motion sensing are increasingly becoming available to consumers; however, motion gesture control has yet to appear outside of game ...
215
click to vote
CHI
2009
ACM
16 years 2 months ago
2009
ACM
This project explores the social possibilities of mobile technology in transitional spaces such as public transport. Based on a cultural probes study of Stockholm subway commuters...
176
click to vote
CHI
2009
ACM
16 years 2 months ago
2009
ACM
We built a text-based programming environment that enables youth to design and implement a chat client for the One Laptop per Child XO. The environment allows users to program and...
183
click to vote
CHI
2009
ACM
16 years 3 days ago
2009
ACM
We present a 3D origami simulator with multi-touch interaction. This is a preliminary exploration of manipulating 3D models with multi-touch. Following a user centered approach, w...