5015 search results - page 480 / 1003 » Model Checking a Path |
189
click to vote
MIG
2009
Springer
16 years 1 months ago
2009
Springer
We present a new local method for collision avoidance that is based on collision prediction. In our model, each pedestrian predicts possible future collisions with other pedestrian...
164
click to vote
GLOBECOM
2006
IEEE
16 years 26 days ago
2006
IEEE
— This paper presents a complete solution to the problem of how to parametrise cluster-based stochastic MIMO channel models from measurement data, with minimum user intervention....
163
click to vote
ICRA
2006
IEEE
16 years 26 days ago
2006
IEEE
Abstract— An operational space dynamic model of a redundantly actuated wheeled mobile robot taking into account the wheel-ground interaction is derived based on vehicle dynamics....
191
click to vote
IROS
2006
IEEE
16 years 26 days ago
2006
IEEE
– Active SLAM poses the challenge for an autonomous robot to plan efficient paths simultaneous to the SLAM process. The uncertainties of the robot, map and sensor measurements, a...
199
Voted
ICRA
2003
IEEE
16 years 3 days ago
2003
IEEE
: Automated Guided Vehicles (or AGVs for short) have become an important option in material handling. In many applications, such as container terminals, the service area is often a...