Sciweavers

16091 search results - page 3151 / 3219
» Solving
Sort
View
ICRA
2010
IEEE
138views Robotics» more  ICRA 2010»
13 years 7 months ago
Rao-Blackwellized particle filtering for probing-based 6-DOF localization in robotic assembly
This paper presents a probing-based method for probabilistic localization in automated robotic assembly. We consider peg-in-hole problems in which a needle-like peg has a single p...
Yuichi Taguchi, Tim K. Marks, Haruhisa Okuda
ICRA
2010
IEEE
220views Robotics» more  ICRA 2010»
13 years 7 months ago
Autonomous Underwater Vehicle trajectory design coupled with predictive ocean models: A case study
— Data collection using Autonomous Underwater Vehicles (AUVs) is increasing in importance within the oceanographic research community. Contrary to traditional moored or static pl...
Ryan N. Smith, Arvind Pereira, Yi Chao, Peggy Li, ...
ICRA
2010
IEEE
134views Robotics» more  ICRA 2010»
13 years 7 months ago
Generalized Bilateral MIMO Control by States Convergence with time delay and application for the teleoperation of a 2-DOF helico
— Bilateral Control by States Convergence is a novel and little exploited control strategy that has been successfully applied to the teleoperation of robotic manipulators using S...
Claudia Pérez-D'Arpino, Wilfredis Medina Me...
ICSOC
2010
Springer
13 years 7 months ago
A Programmble Fault Injection Testbed Generator for SOA
In this demo paper we present the prototype of our fault injection testbed generator. Our tool empowers engineers to generate emulated SOA environments and to program fault injecti...
Lukasz Juszczyk, Schahram Dustdar
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
13 years 7 months ago
On Model Checking Techniques for Randomized Distributed Systems
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 ...
Christel Baier
« Prev « First page 3151 / 3219 Last » Next »