Sciweavers

5169 search results - page 680 / 1034
» Locality approximation using time
Sort
View
ICRA
2005
IEEE
119views Robotics» more  ICRA 2005»
15 years 12 months ago
Synthesis of Controllers for Stylized Planar Bipedal Walking
— We present a method for computing controllers for stable planar-biped walking gaits that follow a particular style. The desired style is specified with a kinematic target traj...
Dana Sharon, Michiel van de Panne
CAV
2005
Springer
86views Hardware» more  CAV 2005»
15 years 12 months ago
Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
Eric Vecchié, Robert de Simone
MATA
2004
Springer
131views Communications» more  MATA 2004»
15 years 11 months ago
MobiGrid
This project focuses on the implementation of a framework for mobile agents support within a grid environment project, namely InteGrade. Our goal is to present a framework where ti...
Rodrigo M. Barbosa, Alfredo Goldman
IBPRIA
2003
Springer
15 years 11 months ago
Non-rigid Registration of Vessel Structures in IVUS Images
Abstract. We present a registration and retrieval algorithm of medical images. Our algorithm is oriented in a general fashion towards gray level medical images of non-rigid bodies ...
Jaume Amores, Petia Radeva
HOTOS
1999
IEEE
15 years 10 months ago
An Economic Approach to Adaptive Resource Management
Resource management is a fundamental concept in operating system design. In recent years it has become fashionable to consider the problem as an aspect of heterogeneous support fo...
Neil Stratford, Richard Mortier