Sciweavers

4098 search results - page 22 / 820
» Sound mobility models
Sort
View
EVOW
2010
Springer
14 years 2 months ago
Evolutionary Sound Synthesis: Rendering Spectrograms from Cellular Automata Histograms
In this paper we report on the synthesis of sounds using cellular automata, specifically the multitype voter model. The mapping process adopted is based on digital signal processin...
Jaime Serquera, Eduardo R. Miranda
SEMWEB
2007
Springer
14 years 3 months ago
Sampling and Soundness: Can We Have Both?
Recent research on model counting in CNF formulas has shown that a certain sampling method can yield results that are sound with a provably high probability. The key idea is to ite...
Carla P. Gomes, Jörg Hoffmann, Ashish Sabharw...
WOLLIC
2009
Springer
14 years 4 months ago
Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
Abstract. We introduce a tree-sequent calculus for inquisitive logic (Groenendijk 2008) as a special form of labelled deductive system (Gabbay 1996). In particular, we establish th...
Katsuhiko Sano
SEMCO
2008
IEEE
14 years 4 months ago
Disambiguating Sounds through Context
A central problem in automatic sound recognition is the mapping between low-level audio features and the meaningful content of an auditory scene. We propose a dynamic network mode...
Maria E. Niessen, Leendert van Maanen, Tjeerd C. A...
ICRA
2007
IEEE
96views Robotics» more  ICRA 2007»
14 years 4 months ago
Robotic Discovery of the Auditory Scene
- In this work, we describe an autonomous mobile robotic system for finding and investigating ambient noise sources in the environment. Motivated by the large negative effect of am...
Eric Martinson, Alan C. Schultz