5015 search results - page 312 / 1003 » Model Checking a Path |
173
click to vote
AR
2007
15 years 6 months ago
2007
This paper presents a new method to analyze the stability of a general class of mobile robot path tracking algorithms taking into account explicitly the computation and communicat...
173
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
ty networks are important abstractions in many information management applications such as recommender systems, corpora analysis, and medical informatics. For instance, in a recom...
199
click to vote
IJRR
2011
14 years 10 months ago
2011
— This paper presents LQG-MP (linear-quadratic Gaussian motion planning), a new approach to robot motion planning that takes into account the sensors and the controller that will...
197
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
A priori wirelength estimation is concerned with predicting various wirelength characteristics before placement. In this work we propose a novel, accurate estimator of net lengths...
170
click to vote
ICDCSW
2009
IEEE
16 years 1 months ago
2009
IEEE
Building a “Straightforward” path in wireless ad hoc sensor networks (WASNs) not only avoids wasting energy in detours, but also incurs less interference in other transmission...