Sciweavers

12265 search results - page 281 / 2453
» Knuth-Morris-Pratt Algorithm: An Analysis
Sort
View
IPL
2006
151views more  IPL 2006»
15 years 6 months ago
Approximating weighted matchings in parallel
We present an NC approximation algorithm for the weighted matching problem in graphs with an approximation ratio of (1 - ). This improves the previously best approximation ratio of...
Stefan Hougardy, Doratha E. Drake Vinkemeier
AND
2009
15 years 4 months ago
Tools for monitoring, visualizing, and refining collections of noisy documents
Developing better systems for document image analysis requires understanding errors, their sources, and their effects. The interactions between various processing steps are comple...
Daniel P. Lopresti, George Nagy
ICDAR
2003
IEEE
15 years 12 months ago
Postal address block location by contour clustering
We have developed a well performing algorithm for locating address blocks in postal parcel images. Both machine printed and handwritten addresses are processed by the algorithm. T...
Venu Govindaraju, Sergey Tulyakov
FM
2009
Springer
157views Formal Methods» more  FM 2009»
16 years 1 months ago
Symbolic Predictive Analysis for Concurrent Programs
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gu...
ISSAC
2007
Springer
146views Mathematics» more  ISSAC 2007»
16 years 23 days ago
Fast and exact geometric analysis of real algebraic plane curves
An algorithm is presented for the geometric analysis of an algebraic curve f(x, y) = 0 in the real affine plane. It computes a cylindrical algebraic decomposition (CAD) of the pla...
Arno Eigenwillig, Michael Kerber, Nicola Wolpert