7512 search results - page 178 / 1503 » Robust Computations with Dynamical Systems |
182
click to vote
CONCUR
2005
Springer
16 years 2 days ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
196
click to vote
ICDCS
2000
IEEE
15 years 10 months ago
2000
IEEE
Providing shared-memory abstraction in messagepassing systems often simplifies the development of distributed algorithms and allows for the reuse of sharedmemory algorithms in the...
203
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Speaker recognition remains a challenging task under noisy conditions. Inspired by auditory perception, computational auditory scene analysis (CASA) typically segregates speech by...
204
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Establishing and maintaining cooperation is an enduring problem in multi-agent systems and, although several solutions exist, the increased use of online trading systems, peerto-p...
191
click to vote
ACL
2012
13 years 9 months ago
2012
This paper presents a probabilistic framework that combines multiple knowledge sources for Haptic Voice Recognition (HVR), a multimodal input method designed to provide efficient...