Sciweavers

8624 search results - page 75 / 1725
» Designing example-critiquing interaction
Sort
View
ENTCS
2000
60views more  ENTCS 2000»
15 years 2 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
15 years 8 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»
15 years 2 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
14 years 6 months 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
14 years 6 months 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...