6957 search results - page 343 / 1392 » Planning before plans |
134
click to vote
FOCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Understanding how a single edge deletion can affect the connectivity of a graph amounts to finding the graph bridges. But when faced with d > 1 deletions, can we establish as ...
170
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
- In this paper we describe QoSPlan – a generalized process for preparing information relevant to QoS-aware IP network planning. QoSPlan is designed to reduce the cost of deploym...
169
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
A knowledge gap exists between what emergency responders know from their direct experience and what emergency planners know from analysis and reflection. The theory of practical d...
168
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
182
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...