826 search results - page 22 / 166 » Designing with interactive example galleries |
CHI
1994
ACM
13 years 12 months ago
1994
ACM
Computer users have tasks they need to perform, and are therefore motivated to overcome poorly designed interfaces. With video games, there is no external motivation for the task ...
CSCW
2012
ACM
12 years 3 months ago
2012
ACM
This paper discusses an approach for transforming solitary exercises into social exergames. We frame our discussion by highlighting the relation between the original exercises and...
CHI
2010
ACM
14 years 2 months ago
2010
ACM
The ready availability of online source code examples has changed the cost structure of programming by example modification. However, current search tools are wholly separate from...
JANCL
2006
13 years 7 months ago
2006
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...
DAGSTUHL
1996
13 years 9 months ago
1996
Abstract. This paper describes a compiler generator (cogen) designed for interactive graphics, and presents preliminary results of its application to pixel-level code. The cogen ac...