Sciweavers

4098 search results - page 119 / 820
» Sound mobility models
Sort
View
CAV
1998
Springer
130views Hardware» more  CAV 1998»
15 years 8 months ago
On Checking Model Checkers
It has become good practice to expect authors of new model checking algorithms to provide not only rigorous evidence of the algorithms correctness, but also evidence of their pract...
Gerard J. Holzmann
SIGIR
1998
ACM
15 years 8 months ago
Modeling and Combining Evidence Provided by Document Relationships Using Probabilistic Argumentation Systems
Previous research has shown that hypertext links may be a useful source of evidence for document contents and relevance, but these evidence are rather difficult to represent and co...
Justin Picard
ESANN
2007
15 years 5 months ago
A neural model of cross-modal association in insects
Abstract. We developed a computational model of learning in the Mushroom Body, a region of multimodal integration in the insect brain. Using realistic neural dynamics and a biologi...
Jan Wessnitzer, Barbara Webb
112
Voted
ICASSP
2008
IEEE
15 years 10 months ago
Dual-microphone speech dereverberation using GARCH modeling
In this paper, we develop a dual-microphone speech dereverberation algorithm for noisy environments, which is aimed at suppressing late reverberation and background noise. The spe...
Ari Abramson, Emanuel A. P. Habets, Sharon Gannot,...
141
Voted
EVOW
2004
Springer
15 years 9 months ago
Using GAs to Create a Waveguide Model of the Oral Vocal Tract
A Digital Waveguide Mesh is introduced as a method for acoustic modelling. Genetic Algorithms are applied to evolve the structure of a mesh to simulate the human throat and mouth, ...
Crispin H. V. Cooper, David M. Howard, Andrew M. T...