355 search results - page 43 / 71 » A New Approximation Technique for Resource-Allocation Proble... |
104
click to vote
ICFEM
2009
Springer
15 years 6 months 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, ...
ATAL
2010
Springer
15 years 27 days ago
2010
Springer
Memory-bounded techniques have shown great promise in solving complex multi-agent planning problems modeled as DEC-POMDPs. Much of the performance gains can be attributed to pruni...
119
click to vote
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
Similarity search methods are widely used as kernels in various data mining and machine learning applications including those in computational biology, web search/clustering. Near...
108
click to vote
HPDC
2007
IEEE
15 years 6 months ago
2007
IEEE
Desktop grids combine Peer-to-Peer and Grid computing techniques to improve the robustness, reliability and scalability of job execution infrastructures. However, efficiently mat...
208
click to vote
ICDE
2009
IEEE
16 years 1 months ago
2009
IEEE
XML streams, such as RSS feeds or complex event streams, are becoming increasingly pervasive as they provide the foundation for a wide range of emerging applications. An important...