Sciweavers

2796 search results - page 50 / 560
» The coolest path problem
Sort
View
AIPS
2011
14 years 3 months ago
Heuristic Search for Generalized Stochastic Shortest Path MDPs
Research in efficient methods for solving infinite-horizon MDPs has so far concentrated primarily on discounted MDPs and the more general stochastic shortest path problems (SSPs...
Andrey Kolobov, Mausam, Daniel S. Weld, Hector Gef...
CDC
2009
IEEE
122views Control Systems» more  CDC 2009»
15 years 4 months ago
A hybrid control approach to multi-robot coordinated path following
— The paper studies the coordinated path following problem, namely, steering a group of unicycles to a given path while achieving an inter-vehicle formation pattern. A novel hybr...
Ying Lan, Gangfeng Yan, Zhiyun Lin
VLSID
2000
IEEE
75views VLSI» more  VLSID 2000»
15 years 4 months ago
Timing Analysis with Implicitly Specified False Paths
We consider the problem of timing analysis in the presence of known false paths. The main difficulty in adaptation of classical breadth-first search to the problem is that at each...
Eugene Goldberg, Alexander Saldanha
DATE
2009
IEEE
122views Hardware» more  DATE 2009»
15 years 6 months ago
A MILP-based approach to path sensitization of embedded software
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...
José C. Costa, José C. Monteiro
IFIP
2004
Springer
15 years 5 months ago
Efficient Protocols for Computing the Optimal Swap Edges of a Shortest Path Tree
We consider the problem of computing the optimal swap edges of a shortest-path tree. This theoretical problem arises in practice in systems that offer point-offailure shortest-path...
Paola Flocchini, Antonio Mesa Enriques, Linda Pagl...