5015 search results - page 308 / 1003 » Model Checking a Path |
180
click to vote
ECSA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Numerous design decisions are made in model-based software development which often are not documented explicitly. Hence, the design knowledge is 'in the designers mi...
152
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
We describe a realtime system for finding and tracking unstructured paths in off-road conditions. The system was designed as part of the recent Darpa Grand Challenge and was teste...
172
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
In this paper, we study the static path planning problem with wireless sensor network localization as the primary objective. We consider a model in which sensors are assumed to be...
153
click to vote
IROS
2006
IEEE
16 years 17 days ago
2006
IEEE
— In this paper, a path following control strategy for lunar/planetary exploration rovers is described, taking into account slip motion of the rover. It is determined that the sl...
189
click to vote
CP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Many real world problems, e.g. personnel scheduling and transportation planning, can be modeled naturally as Constrained Shortest Path Problems (CSPPs), i.e., as Shortest...