Sciweavers

511 search results - page 52 / 103
» More Precise Partition Abstractions
Sort
View
AWIC
2011
Springer
13 years 9 days ago
DegExt - A Language-Independent Graph-Based Keyphrase Extractor
Abstract. In this paper, we introduce DegExt, a graph-based languageindependent keyphrase extractor,which extends the keyword extraction method described in [6]. We compare DegExt ...
Marina Litvak, Mark Last, Hen Aizenman, Inbal Gobi...
LATA
2011
Springer
12 years 11 months ago
Classifying Regular Languages via Cascade Products of Automata
Abstract. Building on the celebrated Krohn-Rhodes Theorem we characterize classes of regular languages in terms of the cascade decompositions of minimal DFA of languages in those c...
Marcus Gelderie
CAIP
2011
Springer
253views Image Analysis» more  CAIP 2011»
12 years 8 months ago
Detection of Retinal Vascular Bifurcations by Trainable V4-Like Filters
Abstract. The detection of vascular bifurcations in retinal fundus images is important for finding signs of various cardiovascular diseases. We propose a novel method to detect su...
George Azzopardi, Nicolai Petkov
BIRTHDAY
2012
Springer
12 years 4 months ago
Triangular and Hexagonal Tile Self-assembly Systems
Abstract. We discuss theoretical aspects of the self-assembly of triangular tiles, in particular, right triangular tiles and equilateral triangular tiles, and the self-assembly of ...
Lila Kari, Shinnosuke Seki, Zhi Xu
SOFSEM
2012
Springer
12 years 4 months ago
Iterated Hairpin Completions of Non-crossing Words
Abstract. Iterated hairpin completion is an operation on formal languages that is inspired by the hairpin formation in DNA biochemistry. Iterated hairpin completion of a word (or m...
Lila Kari, Steffen Kopecki, Shinnosuke Seki