Sciweavers

2593 search results - page 144 / 519
» constraints 2007
Sort
View
HAPTICS
2007
IEEE
16 years 25 days ago
Transparent Rendering of Tool Contact with Compliant Environments
Transparent haptic rendering of the contact between a tool and its environment requires very frequent update of the contact forces acting on the tool. Given a rigid tool and a def...
Miguel A. Otaduy, Markus H. Gross
IROS
2007
IEEE
152views Robotics» more  IROS 2007»
16 years 24 days ago
Kinodynamic motion planning on roadmaps in dynamic environments
— In this paper we present a new method for kinodynamic motion planning in environments that contain both static and moving obstacles. We present an efficient twostage approach:...
Jur P. van den Berg, Mark H. Overmars
IROS
2007
IEEE
135views Robotics» more  IROS 2007»
16 years 24 days ago
Task space control with prioritization for balance and locomotion
Abstract— This paper addresses locomotion with active balancing, via task space control with prioritization. The center of gravity (COG) and foot of the swing leg are treated as ...
Michael Mistry, Jun Nakanishi, Stefan Schaal
MMM
2007
Springer
135views Multimedia» more  MMM 2007»
16 years 23 days ago
A Computational Estimate of the Physical Effort in Human Poses
This paper deals with the problem of estimating the effort required to maintain a static pose by human beings. The problem is important in developing dance summarization and rehabi...
Yinpeng Chen, Hari Sundaram, Jodi James
ICECCS
2007
IEEE
129views Hardware» more  ICECCS 2007»
15 years 10 months ago
Automated Verification of Shape, Size and Bag Properties
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, She...