Sciweavers

1689 search results - page 133 / 338
» Modelling Devices for Natural Interaction
Sort
View
CHI
2009
ACM
16 years 5 months ago
Hand occlusion with tablet-sized direct pen input
We present results from an experiment examining the area occluded by the hand when using a tablet-sized direct pen input device. Our results show that the pen, hand, and forearm c...
Daniel Vogel, Géry Casiez, Liam Keliher, Ma...
CAV
2010
Springer
158views Hardware» more  CAV 2010»
15 years 8 months ago
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces
Abstract. We consider the verification of parameterized Boolean proabstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such prog...
Salvatore La Torre, P. Madhusudan, Gennaro Parlato
MCI
2001
15 years 5 months ago
In a Strange Land: modelling and understanding cyberspace
: This paper begins with a long-term view of the development of cyberspace. This includes a brief examination of the worldview of a 16th-century mapmaker and over 4000 years of dev...
Alan J. Dix
ACMIDC
2008
15 years 6 months ago
Designing with and for children with special needs: an inclusionary model
In order to design for children with special needs, we need to design with children with special needs. The inclusionary model proposed in this paper suggests that appropriate inv...
Mona Leigh Guha, Allison Druin, Jerry Alan Fails
ANTSW
2006
Springer
15 years 8 months ago
Communication, Leadership, Publicity and Group Formation in Particle Swarms
In this paper we look at how the structure of the social network and the nature of the social interactions can affect the behaviour of particle swarms. To this end, we create and ...
Riccardo Poli, William B. Langdon, Paul Marrow, Ja...