Sciweavers

8624 search results - page 75 / 1725
» Designing example-critiquing interaction
Sort
View
ENTCS
2000
60views more  ENTCS 2000»
13 years 9 months ago
Writing Constructive Proofs Yielding Efficient Extracted Programs
The NuPRL system [3] was designed for interactive writing of machine
Aleksey Nogin
ATAL
2005
Springer
14 years 2 months ago
Hermes: a methodology for goal oriented agent interactions
We present the Hermes approach for goal-oriented interaction which includes a methodology for designing goal-based interactions and a process for mapping design artefacts to an ex...
Christopher Cheong, Michael Winikoff
IJMMS
1998
153views more  IJMMS 1998»
13 years 8 months ago
Brahms: simulating practice for work systems design
A continuing problem in business today is the design of human-computer systems that respect how work actually gets done. The overarching context of work consists of activities, wh...
William J. Clancey, Patricia Sachs, Maarten Sierhu...
CHI
2011
ACM
13 years 20 days ago
LiquidText: a flexible, multitouch environment to support active reading
Active reading, involving acts such as highlighting, writing notes, etc., is an important part of knowledge workers’ activities. Most computer-based active reading support seeks...
Craig S. Tashman, W. Keith Edwards
CHI
2011
ACM
13 years 20 days ago
Motionbeam: a metaphor for character interaction with handheld projectors
We present the MotionBeam metaphor for character interaction with handheld projectors. Our work draws from the tradition of pre-cinema handheld projectors that use direct physical...
Karl D. D. Willis, Ivan Poupyrev, Takaaki Shirator...