Sciweavers

70 search results - page 6 / 14
» Safe separators for treewidth
Sort
View
89
Voted
COMPSAC
2009
IEEE
15 years 4 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 2 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 1 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 9 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,...
81
Voted
EJC
2008
14 years 9 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