Sciweavers

4098 search results - page 24 / 820
» Sound mobility models
Sort
View
IVA
2009
Springer
14 years 3 months ago
A Groovy Virtual Drumming Agent
This paper presents an architecture for an intelligent virtual agent that imitates human drumming behaviour. Through imitation, the agent models the user-specific variations that ...
Axel Tidemann, Pinar Öztürk, Yiannis Dem...
CSR
2008
Springer
14 years 19 days ago
A Semantic Proof of Polytime Soundness of Light Affine Logic
We define a denotational semantics for Light Affine Logic (LAL) which has the property that denotations of functions are polynomial time computable by construction of the model. Th...
Ugo Dal Lago, Martin Hofmann
ICRA
2008
IEEE
138views Robotics» more  ICRA 2008»
14 years 5 months ago
Embedded auditory system for small mobile robots
— Auditory capabilities would allow small robots interacting with people to act according to vocal cues. In our recent work, we have demonstrated AUDIBLE, an auditory system capa...
Simon Brière, Jean-Marc Valin, Franç...
CAV
2009
Springer
150views Hardware» more  CAV 2009»
14 years 11 months ago
Automated Analysis of Java Methods for Confidentiality
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
Pavol Cerný, Rajeev Alur
VISUALIZATION
2005
IEEE
14 years 4 months ago
Interactive Poster: Using CoMIRVA for Visualizing Similarities Between Music Artists
This paper presents our framework for music information retrieval and visualization (CoMIRVA). We focus on the functions for visualizing similarities between music artists or song...
Markus Schedl, Peter Knees, Gerhard Widmer