Sciweavers

3228 search results - page 309 / 646
» Computationally Sound Proofs
Sort
View
CHI
2006
ACM
16 years 4 months ago
Minnesang: speak medieval German
We present a prototype of the Minnesang exhibit that translates visitors' utterances into medieval German in their own voice. This lets visitors experience how they would hav...
Daniel Spelmezan, Jan Borchers
CHI
2005
ACM
16 years 4 months ago
Navigation via continuously adapted music
Listening to music on personal, digital devices while mobile is an enjoyable, everyday activity. We explore a scheme for exploiting this practice to immerse listeners in navigatio...
Nigel Warren, Matt Jones, Steve Jones, David Bainb...
SAC
2009
ACM
15 years 11 months ago
Music retrieval based on a multi-samples selection strategy for support vector machine active learning
In active learning based music retrieval systems, providing multiple samples to the user for feedback is very necessary. In this paper, we present a new multi-samples selection st...
Tian-Jiang Wang, Gang Chen, Perfecto Herrera
MM
2005
ACM
126views Multimedia» more  MM 2005»
15 years 10 months ago
Facilitating collective musical creativity
We present two projects that facilitate collective music creativity over networks. One system is a participative social music system on mobile devices. The other is a collaborativ...
Atau Tanaka, Nao Tokui, Ali Momeni
SCALESPACE
2005
Springer
15 years 10 months ago
Matrix-Valued Filters as Convex Programs
Matrix-valued images gain increasing importance both as the output of new imaging techniques and as the result of image processing operations, bearing the need for robust and effic...
Martin Welk, Florian Becker, Christoph Schnör...