Sciweavers

2392 search results - page 374 / 479
» Channel-Hopping Multiple Access
Sort
View
CHI
2005
ACM
16 years 4 months ago
Roomquake: embedding dynamic phenomena within the physical space of an elementary school classroom
Authentic practice in science requires access to phenomena. In this paper, we introduce RoomQuake, an application designed to foster the growth of a community of learning around s...
Tom Moher, Syeda Hussain, Tim Halter, Debi Kilb
CHI
2003
ACM
16 years 4 months ago
SILVER: simplifying video editing with metadata
Digital video is becoming increasingly ubiquitous. However, editing video remains difficult for several reasons: it is a time-based medium, it has dual tracks of audio and video, ...
A. Chris Long, Juan P. Casares, Brad A. Myers, Ris...
CHI
2002
ACM
16 years 4 months ago
Hubbub: a sound-enhanced mobile instant messenger that supports awareness and opportunistic interactions
There have been many attempts to support awareness and lightweight interactions using video and audio, but few have been built on widely available infrastructure. Text-based syste...
Ellen Isaacs, Alan Walendowski, Dipti Ranganthan
POPL
2005
ACM
16 years 4 months ago
From sequential programs to multi-tier applications by program transformation
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...
Matthias Neubauer, Peter Thiemann
POPL
2004
ACM
16 years 4 months ago
A type system for well-founded recursion
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
Derek Dreyer