Sciweavers

720 search results - page 62 / 144
» Linear k-arboricities on trees
Sort
View
ICDE
2004
IEEE
105views Database» more  ICDE 2004»
14 years 10 months ago
SPINE: Putting Backbone into String Indexing
The indexing technique commonly used for long strings, such as genomes, is the suffix tree, which is based on a vertical (intra-path) compaction of the underlying trie structure. ...
Naresh Neelapala, Romil Mittal, Jayant R. Haritsa
WADS
1997
Springer
88views Algorithms» more  WADS 1997»
14 years 26 days ago
Finding Cores of Limited Length
In this paper we consider the problem of nding a core of limited length in a tree. A core is a path, which minimizes the sum of the distances to all nodes in the tree. This proble...
Stephen Alstrup, Peter W. Lauridsen, Peer Sommerlu...
SODA
2004
ACM
108views Algorithms» more  SODA 2004»
13 years 10 months ago
A certifying algorithm for the consecutive-ones property
We give a forbidden substructure characterization of set families that have the consecutive-ones property, and a linear time algorithm to find the forbidden substructure if a set ...
Ross M. McConnell
ENTCS
2000
123views more  ENTCS 2000»
13 years 8 months ago
Defining Standard Prolog in Rewriting Logic
The coincidence between the model-theoretic and the procedural semantics of SLDresolution does not carry over to a Prolog system that also implements non-logical features like cut...
Marija Kulas, Christoph Beierle
ICDAR
2009
IEEE
13 years 6 months ago
Syntactic Detection and Correction of Misrecognitions in Mathematical OCR
This paper proposes a syntactic method for detection and correction of misrecognized mathematical formulae for a practical mathematical OCR system. Linear monadic context-free tre...
Akio Fujiyoshi, Masakazu Suzuki, Seiichi Uchida