630 search results - page 86 / 126 » Hardness results for approximating the bandwidth |
179
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
Music information retrieval is becoming very important with the ever-increasing growth of music content in digital libraries, peer-to-peer systems and the internet. While it is ea...
183
click to vote
FASE
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...
157
click to vote
ICFEM
2009
Springer
16 years 22 days ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...
165
click to vote
ICC
2008
IEEE
16 years 18 days ago
2008
IEEE
The notion of Shared Risk Resource Groups (SRRG) has been introduced to capture survivability issues when a set of resources may fail simultaneously. Applied to Wavelength Divisio...
161
click to vote
WABI
2007
Springer
16 years 8 days ago
2007
Springer
In this paper we introduce a new method of combined synthesis and inference of biological signal transduction networks. A main idea of our method lies in representing observed cau...