Sciweavers

2560 search results - page 462 / 512
» Motion Generation using Motion Mining System
Sort
View
IROS
2007
IEEE
150views Robotics» more  IROS 2007»
14 years 3 months ago
Monopedal running control: SLIP embedding and virtual constraint controllers
— Two feedback controllers that induce stable running gaits on a three-degree-of-freedom asymmetric hopper, termed the Asymmetric Spring Loaded Inverted Pendulum (ASLIP), see Fig...
Ioannis Poulakakis, J. W. Grizzle
ICRA
2005
IEEE
122views Robotics» more  ICRA 2005»
14 years 2 months ago
Flocking with Obstacle Avoidance: A New Distributed Coordination Algorithm Based on Voronoi Partitions
— A new distributed coordination algorithm for multi-vehicle systems is presented in this paper. The algorithm combines a particular choice of navigation function with Voronoi pa...
Magnus Lindhé, Petter Ögren, Karl Henr...
KI
2005
Springer
14 years 2 months ago
Heuristic-Based Laser Scan Matching for Outdoor 6D SLAM
6D SLAM (Simultaneous Localization and Mapping) or 6D Concurrent Localization and Mapping of mobile robots considers six dimensions for the robot pose, namely, the x, y and z coord...
Andreas Nüchter, Kai Lingemann, Joachim Hertz...
PCM
2004
Springer
97views Multimedia» more  PCM 2004»
14 years 2 months ago
Frequency Weighting and Selective Enhancement for MPEG-4 Scalable Video Coding
In MPEG-4 scalable video coding, only a small portion of input data is coded in the base layer, and most signal components remain in enhancement layers. In this paper, we propose a...
Seung Hwan Kim, Yo-Sung Ho
FM
2008
Springer
192views Formal Methods» more  FM 2008»
13 years 10 months ago
CoVaC: Compiler Validation by Program Analysis of the Cross-Product
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
Anna Zaks, Amir Pnueli