9176 search results - page 1684 / 1836 » algorithms 2010 |
189
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— One of the main drawbacks of standard visual EKF-SLAM techniques is the assumption of a general camera motion model. Usually this motion model has been implemented in the liter...
183
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Data collection using Autonomous Underwater Vehicles (AUVs) is increasing in importance within the oceanographic research community. Contrary to traditional moored or static pl...
197
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Humanoid robots are expected to share human environments in the future and it is important to ensure safety of their operation. A serious threat to safety is the fall of a huma...
195
click to vote
IFM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
184
click to vote
IJAMC
2010
15 years 4 months ago
2010
—When dealing with dynamic large-scale topologies such as those underlying peer-to-peer (P2P) distributed virtual environments (DVE), one inescapably reaches the point where eith...