Sciweavers

2713 search results - page 13 / 543
» Parameterized Tree Systems
Sort
View
DEXA
2005
Springer
75views Database» more  DEXA 2005»
14 years 3 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»
14 years 1 months ago
Verification of Parameterized Systems Using Logic Program Transformations
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...
EMSOFT
2008
Springer
13 years 11 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»
14 years 4 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...
COCOA
2007
Springer
14 years 4 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...