12766 search results - page 2237 / 2554 » collective |
179
click to vote
ACMACE
2006
ACM
16 years 25 days ago
2006
ACM
Ambient Video is an emergent cultural phenomenon, with roots that go deeply into the history of experimental film and video art. Ambient Video, like Brian Eno's ambient music...
182
click to vote
APLAS
2006
ACM
16 years 25 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
167
Voted
APLAS
2006
ACM
16 years 25 days ago
2006
ACM
Abstract. The Scheme language report advocates language design as the composition of a small set of orthogonal constructs, instead of a large accumulation of features. In this pape...
173
click to vote
ASSETS
2006
ACM
16 years 25 days ago
2006
ACM
CopyCat is an American Sign Language (ASL) game, which uses gesture recognition technology to help young deaf children practice ASL skills. We describe a brief history of the game...
185
click to vote
CASES
2006
ACM
16 years 25 days ago
2006
ACM
Random access memory (RAM) is tightly-constrained in many embedded systems. This is especially true for the least expensive, lowest-power embedded systems, such as sensor network ...