3228 search results - page 264 / 646 » Computationally Sound Proofs |
144
click to vote
WPES
2005
ACM
15 years 10 months ago
2005
ACM
Radio Frequency Identification (RFID) technology raises significant privacy issues because it enables tracking of items and people possibly without their knowledge or consent. O...
129
click to vote
CHI
2006
ACM
16 years 5 months ago
2006
ACM
This paper describes a real-time music-arranging system that reacts to immediate affective cues from a listener. Data was collected on the potential of certain musical dimensions ...
133
click to vote
MHCI
2004
Springer
15 years 10 months ago
2004
Springer
The study reported here investigates the design and evaluation of a gesturecontrolled, spatially-arranged auditory user interface for a mobile computer. Such an interface may prov...
176
click to vote
ACMACE
2008
ACM
15 years 6 months ago
2008
ACM
BeatBender is a computer music project that explores a new method for generating emergent rhythmic drum patterns using the subsumption architecture. Rather than explicitly coding ...
162
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present a Mobile-Ambients-based process calculus to describe context-aware computing in an infrastructure-based Ubiquitous Computing setting. In our calculus, computin...