430 search results - page 49 / 86 » On Using Satisfiability-Based Pruning Techniques in Covering... |
TACAS
2012
Springer
13 years 6 months ago
2012
Springer
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
116
click to vote
BMCBI
2011
14 years 5 months ago
2011
Background: Tiling array data is hard to interpret due to noise. The wavelet transformation is a widely used technique in signal processing for elucidating the true signal from no...
103
click to vote
INFOVIS
1997
IEEE
15 years 2 months ago
1997
IEEE
We present the H3 layout technique for drawing large directed graphs as node-link diagrams in 3D hyperbolic space. We can lay out much larger structures than can be handled using ...
FSKD
2008
Springer
14 years 11 months ago
2008
Springer
The trajectory pattern mining problem has recently attracted increasing attention. This paper precisely addresses the parallel mining problem of trajectory patterns as well as the...
106
click to vote
DEBS
2009
ACM
15 years 2 months ago
2009
ACM
One of the main challenges faced by content-based publish/subscribe systems is handling large amount of dynamic subscriptions and publications in a multidimensional content space....