Sciweavers

4184 search results - page 190 / 837
» Names of Our Lives
Sort
View
NIME
2005
Springer
163views Music» more  NIME 2005»
15 years 7 months ago
ixi software: The Interface as Instrument
This paper describes the audio human computer interface experiments of ixi in the past and outlines the current platform for future research. ixi software [5] was founded by Thor ...
Thor Magnusson
PERVASIVE
2005
Springer
15 years 7 months ago
Simultaneous Tracking and Activity Recognition (STAR) Using Many Anonymous, Binary Sensors
Abstract. In this paper we introduce the simultaneous tracking and activity recognition (STAR) problem, which exploits the synergy between location and activity to provide the info...
D. H. Wilson, Christopher G. Atkeson
TACAS
2005
Springer
88views Algorithms» more  TACAS 2005»
15 years 7 months ago
Shortest Counterexamples for Symbolic Model Checking of LTL with Past
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...
Viktor Schuppan, Armin Biere
CHI
2004
ACM
15 years 7 months ago
Project massive: a study of online gaming communities
Massively Multiplayer Online Games (MMOGs) continue to be a popular and lucrative sector of the gaming market. Project Massive was created to assess MMOG players’ social experie...
A. Fleming Seay, William J. Jerome, Kevin Sang Lee...
EMSOFT
2004
Springer
15 years 7 months ago
Garbage collection for embedded systems
Security concerns on embedded devices like cellular phones make Java an extremely attractive technology for providing third-party and user-downloadable functionality. However, gar...
David F. Bacon, Perry Cheng, David Grove