1302 search results - page 95 / 261 » Soundness in the Public-Key Model |
182
click to vote
BIOSYSTEMS
2007
15 years 6 months ago
2007
10 Phonotaxis is the ability to orient towards or away from sound sources. Crickets can locate conspecifics by phonotaxis to the calling (mating) song they produce, and can evade ...
175
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
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...
153
click to vote
SIGIR
1998
ACM
15 years 10 months ago
1998
ACM
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...
181
click to vote
ESANN
2007
15 years 8 months ago
2007
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...
150
click to vote
ICASSP
2008
IEEE
16 years 28 days ago
2008
IEEE
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...