Sciweavers

740 search results - page 62 / 148
» Recursive layout generation
Sort
View
65
Voted
ICRA
2009
IEEE
106views Robotics» more  ICRA 2009»
15 years 7 months ago
On-line time-optimal path tracking for robots
— This paper focuses on time-optimal path tracking, which involves planning of robot motions along prescribed geometric paths. Starting from a discretized convex reformulation of...
Diederik Verscheure, Moritz Diehl, Joris De Schutt...
ICMCS
2007
IEEE
191views Multimedia» more  ICMCS 2007»
15 years 7 months ago
Variable Number of "Informative" Particles for Object Tracking
Particle filter is a sequential Monte Carlo method for object tracking in a recursive Bayesian filtering framework. The efficiency and accuracy of the particle filter depends on t...
Yu Huang, Joan Llach
90
Voted
ICRA
2003
IEEE
119views Robotics» more  ICRA 2003»
15 years 5 months ago
HPRM: a hierarchical PRM
— We introduce a hierarchical variant of the probabilistic roadmap method for motion planning. By recursively refining an initially sparse sampling in neighborhoods of the C-obs...
Anne D. Collins, Pankaj K. Agarwal, John Harer
87
Voted
COMBINATORICS
2006
129views more  COMBINATORICS 2006»
15 years 20 days ago
Descendants in Increasing Trees
Simple families of increasing trees can be constructed from simply generated tree families, if one considers for every tree of size n all its increasing labellings, i. e. labellin...
Markus Kuba, Alois Panholzer
ENTCS
2006
176views more  ENTCS 2006»
15 years 19 days ago
Automatic Formal Synthesis of Hardware from Higher Order Logic
A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described. Compilation is by mechanised proof in t...
Mike Gordon, Juliano Iyoda, Scott Owens, Konrad Sl...