Sciweavers

70 search results - page 6 / 14
» Safe separators for treewidth
Sort
View
COMPSAC
2009
IEEE
15 years 6 months ago
System Safety Requirements as Control Structures
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
Zhe Chen, Gilles Motet
FCT
2003
Springer
15 years 5 months ago
Graph Searching, Elimination Trees, and a Generalization of Bandwidth
The bandwidth minimization problem has a long history and a number of practical applications. In this paper we introduce a natural extension of bandwidth to partially ordered layo...
Fedor V. Fomin, Pinar Heggernes, Jan Arne Telle
ICRA
1998
IEEE
163views Robotics» more  ICRA 1998»
15 years 4 months ago
A Multi-Loop Robust Navigation Architecture for Mobile Robots
This paper describes a multi-loop, modular navigation architecture for mobile robots whose structure allows the execution of most types of navigation tasks in a highly robust mann...
José Castro, Vítor Santos, M. Isabel...
IJRR
2008
113views more  IJRR 2008»
14 years 11 months ago
Flying Fast and Low Among Obstacles: Methodology and Experiments
Safe autonomous flight is essential for widespread acceptance of aircraft that must fly close to the ground. We have developed a methodology of collision avoidance that can be use...
Sebastian Scherer, Sanjiv Singh, Lyle Chamberlain,...
98
Voted
EJC
2008
14 years 11 months ago
Grad and classes with bounded expansion II. Algorithmic aspects
Abstract. Classes of graphs with bounded expansion are a generalization of both proper minor closed classes and degree bounded classes. Such classes are based on a new invariant, t...
Jaroslav Nesetril, Patrice Ossona de Mendez