Sciweavers

12265 search results - page 135 / 2453
» Knuth-Morris-Pratt Algorithm: An Analysis
Sort
View
SODA
2000
ACM
76views Algorithms» more  SODA 2000»
13 years 11 months ago
Applying extra-resource analysis to load balancing
Mark Brehob, Eric Torng, Patchrawat Uthaisombut

Book
412views
15 years 9 months ago
Algorithms for Clustering Data
"Cluster analysis is an important technique in the rapidly growing field known as exploratory data analysis and is being applied in a variety of engineering and scientific dis...
A. K. Jain, R. C. Dubes
HYBRID
2007
Springer
14 years 2 months ago
MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems
We present a new algorithm for the reachability analysis of multi-affine hybrid systems. In our previous work on reachability analysis and that of our collaborators [1
Spring Berman, Ádám M. Halász...
PR
2010
135views more  PR 2010»
13 years 4 months ago
Revisiting priority queues for image analysis
Many algorithms in image analysis require a priority queue, a data structure that holds pointers to pixels in the image, and which allows efficiently finding the pixel in the queu...
Cris L. Luengo Hendriks
TACAS
2012
Springer
288views Algorithms» more  TACAS 2012»
12 years 5 months ago
Reduction-Based Formal Analysis of BGP Instances
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gu...