2171 search results - page 248 / 435 » Combining Funnels: A Dynamic Approach to Software Combining |
175
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
178
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
In this paper, we explore an application of basis pursuit to audio scene analysis. The goal of our work is to detect when certain sounds are present in a mixed audio signal. We fo...
142
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
In this paper, we review the paradigm of inductive process modeling, which uses background knowledge about possible component processes to construct quantitative models of dynamic...
156
click to vote
INFOCOM
2007
IEEE
16 years 26 days ago
2007
IEEE
— Distributed media streaming, which uses multiple senders to collaboratively and simultaneously stream media content to a receiver, poses new challenges in congestion control. S...
153
click to vote
IPPS
2006
IEEE
16 years 18 days ago
2006
IEEE
The problem of data broadcasting over multiple channels consists in partitioning data among channels, depending on data popularities, and then cyclically transmitting them over ea...