Sciweavers

8377 search results - page 1308 / 1676
» Scenarios - Introduction
Sort
View
ICFEM
2010
Springer
15 years 5 months ago
Verifying Heap-Manipulating Programs with Unknown Procedure Calls
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
Shengchao Qin, Chenguang Luo, Guanhua He, Florin C...
ICRA
2010
IEEE
130views Robotics» more  ICRA 2010»
15 years 5 months ago
Maintaining connectivity in environments with obstacles
Abstract— Robotic routers (mobile robots with wireless communication capabilities) can create an adaptive wireless network and provide communication services for mobile users ond...
Onur Tekdas, Patrick A. Plonski, Nikhil Karnad, Vo...
ICRA
2010
IEEE
129views Robotics» more  ICRA 2010»
15 years 5 months ago
Optimal passive dynamics for torque/force control
Abstract— For robotic manipulation tasks in uncertain environments, good force control can provide significant benefits. The design of force-controlled actuators typically revo...
Kevin Kemper, Devin Koepl, Jonathan Hurst
ICRA
2010
IEEE
133views Robotics» more  ICRA 2010»
15 years 5 months ago
Generalized model learning for Reinforcement Learning on a humanoid robot
— Reinforcement learning (RL) algorithms have long been promising methods for enabling an autonomous robot to improve its behavior on sequential decision-making tasks. The obviou...
Todd Hester, Michael Quinlan, Peter Stone
ICRA
2010
IEEE
141views Robotics» more  ICRA 2010»
15 years 5 months ago
A novel framework for closed-loop robotic motion simulation - part I: Inverse kinematics design
— This paper considers the problem of realizing a 6-DOF closed-loop motion simulator by exploiting an anthropomorphic serial manipulator as motion platform. Contrary to standard ...
Paolo Robuffo Giordano, Carlo Masone, Joachim Tesc...
« Prev « First page 1308 / 1676 Last » Next »