Sciweavers

3415 search results - page 446 / 683
» Lower bounds on kernelization
Sort
View
CDC
2010
IEEE
152views Control Systems» more  CDC 2010»
15 years 1 months ago
Completely decentralised navigation of multiple unicycle agents with prioritisation and fault tolerance
Abstract-- We propose an algorithm for decentralised navigation of multiple independent agents, applicable to Robotics and Air Traffic Control (ATC). We present completely decentra...
Giannis P. Roussos, Kostas J. Kyriakopoulos
JCT
2011
74views more  JCT 2011»
15 years 1 months ago
Basis theorems for continuous n-colorings
This article is devoted to the study of continuous colorings of the n-element subsets of a Polish space. The homogeneity number hm(c) of an n-coloring c : [X]n → 2 is the least s...
Stefanie Frick, Stefan Geschke
MST
2011
207views Hardware» more  MST 2011»
15 years 1 months ago
Fixpoint Logics over Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Stefan Göller, Markus Lohrey
SIAMCO
2010
114views more  SIAMCO 2010»
15 years 1 months ago
Discrete Carleman Estimates for Elliptic Operators in Arbitrary Dimension and Applications
In arbitrary dimension, we consider the semi-discrete elliptic operator -2 t + AM , where AM is a finite difference approximation of the operator - x((x) x). For this operator we d...
Franck Boyer, Florence Hubert, Jérôme...
SIAMDM
2010
89views more  SIAMDM 2010»
15 years 1 months ago
Routing Numbers of Cycles, Complete Bipartite Graphs, and Hypercubes
The routing number rt(G) of a connected graph G is the minimum integer r so that every permutation of vertices can be routed in r steps by swapping the ends of disjoint edges. In t...
Wei-Tian Li, Linyuan Lu, Yiting Yang