Sciweavers

4094 search results - page 352 / 819
» Acme: A User Interface for Programmers
Sort
View
PLDI
2012
ACM
13 years 9 months ago
Automated error diagnosis using abductive inference
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...
Isil Dillig, Thomas Dillig, Alex Aiken
CHI
2010
ACM
16 years 1 months ago
MAGIC: a motion gesture design tool
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 ...
Daniel Ashbrook, Thad Starner
CHI
2009
ACM
16 years 1 months ago
See you on the subway: exploring mobile social software
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...
Nicolas Belloni, Lars Erik Holmquist, Jakob Tholan...
CHI
2009
ACM
16 years 1 months ago
Mediating programming through chat for the OLPC
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...
Jill P. Dimond, Sarita Yardi, Mark Guzdial
CHI
2009
ACM
15 years 11 months ago
Origami simulator: a multi-touch experience
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...
Samuel Hsiao-Heng Chang, Lachlan Stuart, Beryl Pli...