Sciweavers

914 search results - page 38 / 183
» Analysis of Heuristic Synergies
Sort
View
SEFM
2006
IEEE
15 years 5 months ago
Automatic Property Checking for Software: Past, Present and Future
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
Sriram K. Rajamani
ICDAR
1997
IEEE
15 years 4 months ago
Modeling Documents for Structure Recognition Using Generalized N-Grams
In this paper we present and discuss a novel approach to modeling logical structures of documents, based on a statistical representation of patterns in a document class. An effic...
Rolf Brugger, Abdel Wahab Zramdini, Rolf Ingold
DAM
2008
81views more  DAM 2008»
14 years 12 months ago
Random-order bin packing
ct The average case analysis of algorithms usually assumes independent, identical distributions for the inputs. In [?], Kenyon introduced the random-order ratio, a new average case...
Edward G. Coffman Jr., János Csirik, Lajos ...
ICDAR
2009
IEEE
15 years 6 months ago
PDF-TREX: An Approach for Recognizing and Extracting Tables from PDF Documents
This paper presents PDF-TREX, an heuristic approach for table recognition and extraction from PDF documents. The heuristics starts from an initial set of basic content elements an...
Ermelinda Oro, Massimo Ruffolo
OSS
2009
Springer
15 years 6 months ago
Estimating Commit Sizes Efficiently
The quantitative analysis of software projects can provide insights that let us better understand open source and other software development projects. An important variable used in...
Philipp Hofmann, Dirk Riehle