1260 search results - page 179 / 252 » Leafing digital content |
CHI
2002
ACM
14 years 10 months ago
2002
ACM
We describe a novel interface that locates and characterizes knocks and taps atop a large glass window. Our current setup uses four contact piezoelectric pickups located near the ...
CHI
2002
ACM
14 years 10 months ago
2002
ACM
The physical nature of the classroom means that children are continually divided into small groups. The present study examined collaboration on a story creation task using technol...
VLDB
2008
ACM
14 years 10 months ago
2008
ACM
With the commoditization of digital devices, personal information and media sharing is becoming a key application on the pervasive Web. In such a context, data annotation rather th...
PODS
2006
ACM
14 years 10 months ago
2006
ACM
The most acute information management challenges today stem from organizations relying on a large number of diverse, interrelated data sources, but having no means of managing the...
CCS
2009
ACM
14 years 4 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...