Sciweavers

2713 search results - page 13 / 543
» Parameterized Tree Systems
Sort
View
118
Voted
DEXA
2005
Springer
75views Database» more  DEXA 2005»
15 years 11 months ago
Time Parameterized Interval R-Tree for Tracing Tags in RFID Systems
ChaeHoon Ban, Bonghee Hong, Donghyun Kim
125
Voted
TACAS
2000
Springer
106views Algorithms» more  TACAS 2000»
15 years 9 months ago
Verification of Parameterized Systems Using Logic Program Transformations
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...
EMSOFT
2008
Springer
15 years 7 months ago
State space abstraction for parameterized self-stabilizing embedded systems
Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Pri...
ISAAC
2009
Springer
109views Algorithms» more  ISAAC 2009»
16 years 12 days 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...
COCOA
2007
Springer
16 years 13 hour 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...