Sciweavers

19 search results - page 2 / 4
» sofsem 2005
Sort
View
SOFSEM
2005
Springer
13 years 10 months ago
Non-planar Orthogonal Drawings with Fixed Topology
Markus Chimani, Gunnar W. Klau, René Weiski...
SOFSEM
2005
Springer
13 years 10 months ago
Cost-Constrained Minimum-Delay Multicasting
Satoshi Tayu, Turki Ghazi Al-Mutairi, Shuichi Ueno
SOFSEM
2005
Springer
13 years 10 months ago
Discovering Treewidth
Abstract. Treewidth is a graph parameter with several interesting theoretical and practical applications. This survey reviews algorithmic results on determining the treewidth of a ...
Hans L. Bodlaender
SOFSEM
2005
Springer
13 years 10 months ago
Characteristic Patterns for LTL
We give a new characterization of those languages that are definable in fragments of LTL where the nesting depths of X and U modalities are bounded by given constants. This brings...
Antonín Kucera, Jan Strejcek