Sciweavers

4581 search results - page 521 / 917
» Interaction design patterns for computers in sociable use
Sort
View
CHI
2005
ACM
16 years 7 months ago
Modal spaces: spatial multiplexing to mediate direct-touch input on large displays
We present a new interaction technique for large directtouch displays called Modal Spaces. Modal interfaces require the user to keep track of the state of the system. The Modal Sp...
Katherine Everitt, Chia Shen, Kathy Ryall, Clifton...
MOBILITY
2009
ACM
15 years 11 months ago
Lively for Qt: a platform for mobile web applications
The convergence of desktop, mobile and web application development has resulted in new types of software systems. These new systems are built to leverage the World Wide Web, and t...
Tommi Mikkonen, Antero Taivalsaari, Mikko Terho
SI3D
1992
ACM
15 years 11 months ago
Three-Dimensional Widgets
The 3D components of today's user interfaces are still underdeveloped. Direct interaction with 3D objects has been limited thus far to gestural picking, manipulation with lin...
D. Brookshire Conner, Scott S. Snibbe, Kenneth P. ...
CHI
2009
ACM
16 years 7 months ago
Asynchronous gameplay in pervasive multiplayer mobile games
Hannamari Saarenp?? University of Tampere Kanslerinrinne 1 33014 Tampereen Yliopisto, Finland hannamari.saarenpaa@uta.fi Hannu Korhonen Nokia Research P.O. Box 1000 00045 Nokia Gro...
Hannamari Saarenpää, Hannu Korhonen, Jan...
TLDI
2010
ACM
218views Formal Methods» more  TLDI 2010»
16 years 3 months ago
Pointwise generalized algebraic data types
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
Chuan-kai Lin, Tim Sheard