5216 search results - page 774 / 1044 » Planning as Model Checking |
171
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Mobile robots have to detect and handle a variety of potential hazards to navigate autonomously. We present a real-time stereo vision based mapping algorithm for identifying an...
163
click to vote
ICNS
2008
IEEE
16 years 1 months ago
2008
IEEE
: Traffic distribution forecasting is an essential step in network planning for packet-switching networks. It is frequently necessary to forecast and develop an optimal network con...
164
click to vote
ICRA
2007
IEEE
16 years 26 days ago
2007
IEEE
— We present a fast GPU-based algorithm to approximate the Swept Volume (SV) boundary of arbitrary polygon soup models. Despite the extensive research on calculating the volume s...
214
click to vote
ISPW
2007
IEEE
16 years 25 days ago
2007
IEEE
The possible variability of project delay is useful information to understand and mitigate the project delay risk. However, it is not sufficiently considered in the literature con...
159
click to vote
IV
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper describes research on the use of multiple views for modelling products and processes in the design of complex products. Single visual representations of design models o...