Sciweavers

34181 search results - page 632 / 6837
» The Computer System GRAPHOGRAPH
Sort
View
CHINZ
2006
ACM
16 years 6 days ago
Bare-hand 3D gesture input to interactive systems
Although the 2D desktop metaphor has been the dominating paradigm of user interfaces for over two decades, 3D models of interaction are becoming more feasible due to advances in c...
Pushkar Dhawale, Masood Masoodian, Bill Rogers
CHI
2010
ACM
15 years 11 months ago
vSked: evaluation of a system to support classroom activities for children with autism
Visual schedules—the use of symbols to represent a series of activities or steps—have been successfully used by caregivers to help children with autism to understand, structur...
Sen H. Hirano, Michael T. Yeganyan, Gabriela Marcu...
ENTCS
2002
148views more  ENTCS 2002»
15 years 6 months ago
A Declarative Debugging System for Lazy Functional Logic Programs
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
Rafael Caballero, Mario Rodríguez-Artalejo
MFCS
2010
Springer
15 years 4 months ago
Proof Systems and Transformation Games
We introduce Transformation Games (TGs), a form of coalitional game in which players are endowed with sets of initial resources, and have capabilities allowing them to derive certa...
Yoram Bachrach, Michael Zuckerman, Michael Wooldri...
MOBISYS
2011
ACM
14 years 9 months ago
Switchboard: a matchmaking system for multiplayer mobile games
— Supporting interactive, multiplayer games on mobile phones over cellular networks is a difficult problem. It is particularly relevant now with the explosion of mostly single-p...
Justin Manweiler, Sharad Agarwal, Ming Zhang, Romi...