Sciweavers

4508 search results - page 107 / 902
» Design of human-map system interaction
Sort
View
106
Voted
CHI
2007
ACM
16 years 4 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
128
Voted
VL
2002
IEEE
155views Visual Languages» more  VL 2002»
15 years 8 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...
135
Voted
JANCL
2006
112views more  JANCL 2006»
15 years 3 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 8 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 7 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