4208 search results - page 481 / 842 » Challenges in Evaluating Distributed Algorithms |
114
Voted
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
136
Voted
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Interaction with mobile devices that are intended for everyday use is challenging since such systems are continuously optimized towards small outlines. Watches are a particularl...
108
Voted
SIGCOMM
2009
ACM
15 years 10 months ago
2009
ACM
Networking over UHF white spaces is fundamentally different from conventional Wi-Fi along three axes: spatial variation, temporal variation, and fragmentation of the UHF spectrum....
117
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
The desirable asymptotic optimality properties of the maximum likelihood (ML) estimator make it an attractive solution for performing independent component analysis (ICA) as well....
138
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper describes an algorithm that performs a simple form of computational auditory scene analysis to separate multiple speech signals from one another on the basis of the mod...