5090 search results - page 302 / 1018 » Information Integration: Challenges and Approaches |
191
click to vote
AAAI
2008
15 years 9 months ago
2008
This paper summarizes recent advances in the application of multiagent coordination algorithms to air traffic flow management. Indeed, air traffic flow management is one of the fu...
203
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
238
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
—Multi-cell cooperation is a promising approach for mitigating inter-cell interference in dense cellular networks. Quantifying the performance of multi-cell cooperation is challe...
210
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
Multi-core processors have become an integral part of mainstream high performance computer systems. In parallel, exponentially increasing power density and packaging costs have ne...
236
click to vote
BMCBI
2007
15 years 6 months ago
2007
High-throughput methods can directly detect the set of interacting proteins in yeast but the results are often incomplete and exhibit high false positive and false negative rates....