Sciweavers

1546 search results - page 137 / 310
» Context-Aware Computing with Sound
Sort
View
136
Voted
IWEC
2007
15 years 6 months ago
Multi-track Scratch Player on a Multi-touch Sensing Device
Scratching with turntables is a popular sound generation technique in today’s music scene, especially in hip-hop culture. A conventional turntable system consists of two turntabl...
Kentaro Fukuchi
TLDI
2009
ACM
111views Formal Methods» more  TLDI 2009»
16 years 1 months ago
A generic type-and-effect system
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
Daniel Marino, Todd D. Millstein
142
Voted
MM
2006
ACM
96views Multimedia» more  MM 2006»
15 years 11 months ago
Takashi's seasons
Takashi’s Seasons is a sequential live shadow puppet/video performance in which a number of interpretations of the four seasons are performed by an artist. Controlled with fishi...
Takashi Kawashima, Togo Kida, Yoshimasa Niwa
143
Voted
DIALM
2003
ACM
99views Algorithms» more  DIALM 2003»
15 years 10 months ago
Spatio-temporal data reduction with deterministic error bounds
A common way of storing spatio-temporal information about mobile devices is in the form of a 3D (2D geography + time) trajectory. We argue that when cellular phones and Personal D...
Hu Cao, Ouri Wolfson, Goce Trajcevski
130
Voted
ENTCS
2007
126views more  ENTCS 2007»
15 years 5 months ago
Nominal Reasoning Techniques in Coq: (Extended Abstract)
d Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, USA We explore an axiomatize...
Brian E. Aydemir, Aaron Bohannon, Stephanie Weiric...