Sciweavers

2713 search results - page 13 / 543
» Parameterized Tree Systems
Sort
View
DEXA
2005
Springer
75views Database» more  DEXA 2005»
15 years 5 months ago
Time Parameterized Interval R-Tree for Tracing Tags in RFID Systems
ChaeHoon Ban, Bonghee Hong, Donghyun Kim
TACAS
2000
Springer
106views Algorithms» more  TACAS 2000»
15 years 3 months ago
Verification of Parameterized Systems Using Logic Program Transformations
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...
62
Voted
EMSOFT
2008
Springer
15 years 1 months ago
State space abstraction for parameterized self-stabilizing embedded systems
Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Pri...
118
Voted
ISAAC
2009
Springer
109views Algorithms» more  ISAAC 2009»
15 years 6 months ago
A Linear Vertex Kernel for Maximum Internal Spanning Tree
We present an algorithm that for any graph G and integer k ≥ 0 in time polynomial in the size of G either nds a spanning tree with at least k internal vertices, or outputs a ne...
Fedor V. Fomin, Serge Gaspers, Saket Saurabh, St&e...
93
Voted
COCOA
2007
Springer
15 years 5 months ago
On the Complexity of Some Colorful Problems Parameterized by Treewidth
Abstract. We study the complexity of several coloring problems on graphs, parameterized by the treewidth t of the graph: (1) The list chromatic number χl(G) of a graph G is defin...
Michael R. Fellows, Fedor V. Fomin, Daniel Lokshta...