338 search results - page 41 / 68 » Locally checkable proofs |
FSTTCS
2009
Springer
14 years 3 months ago
2009
Springer
We investigate the parameterized complexity of generalisations and variations of the dominating set problem on classes of graphs that are nowhere dense. In particular, we show that...
ASWEC
2007
IEEE
14 years 3 months ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— A decentralized, adaptive control law is presented to drive a network of mobile robots to a near-optimal sensing configuration. The control law is adaptive in that it integrat...
GECCO
2007
Springer
14 years 3 months ago
2007
Springer
Evolutionary algorithms applied in real domain should profit from information about the local fitness function curvature. This paper presents an initial study of an evolutionary...
SAMOS
2007
Springer
14 years 3 months ago
2007
Springer
This paper presents a configurable base architecture tailorable for different applications. It allows simple and rapid way to evaluate and prototype large Multi-Processor System-on...