459 search results - page 23 / 92 » Mixed Models for the Analysis of Local Search Components |
105
click to vote
HYBRID
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
140
click to vote
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
Dynamic loading of software components (e.g., libraries or modules) is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is cri...
126
click to vote
WSDM
2010
ACM
15 years 11 months ago
2010
ACM
Web 2.0 applications have attracted a considerable amount of attention because their open-ended nature allows users to create lightweight semantic scaffolding to organize and shar...
106
click to vote
IDA
2009
Springer
15 years 8 months ago
2009
Springer
This work presents a novel robust method for a two-channel multiple Time Difference of Arrival (TDOA) estimation. The method is based on a recursive frequency-domain Independent C...
139
Voted
TWC
2010
14 years 8 months ago
2010
Wideband source localization using acoustic sensor networks has been drawing a lot of research interest recently in wireless communication applications, such as cellular handset lo...