Sciweavers

4508 search results - page 107 / 902
» Design of human-map system interaction
Sort
View
CHI
2007
ACM
16 years 6 months ago
Authorable virtual peers for children with autism
For my dissertation, I am designing, implementing and evaluating the use of a new kind of "authorable" virtual peer that allows children with autism to learn about recip...
Andrea Tartaro
VL
2002
IEEE
155views Visual Languages» more  VL 2002»
15 years 11 months ago
Virtual Reality Interaction: The Characteristic Pattern Approach
We merge the Pictorial Computing Laboratory (PCL) approach to WIMP interaction with the Interaction Locus approach to structuring visual spaces as a step toward the definition of ...
Augusto Celentano, Daniela Fogli, Piero Mussio, Fa...
JANCL
2006
112views more  JANCL 2006»
15 years 6 months ago
KAT-ML: an interactive theorem prover for Kleene algebra with tests
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...
Kamal Aboul-Hosn, Dexter Kozen
CHI
1993
ACM
15 years 10 months ago
A Wizard of Oz platform for the study of multimodal systems
The Wizard of Oz (WOz) technique is an experimental evaluation mechanism. It allows the observation of a user operating an apparently fully functioning system whose missing servic...
Daniel Salber, Joëlle Coutaz
SI3D
2010
ACM
15 years 10 months ago
A real-time screened-Poisson solver for interactive surface editing
We present a novel framework for editing geometric detail. Drawing on previous work in image- and geometry-processing, we show that the frequency-space filtering performed in mes...
Ming Chuang, Michael M. Kazhdan