Sciweavers

407 search results - page 47 / 82
» Recursive or iterative routing
Sort
View
115
Voted
IROS
2007
IEEE
141views Robotics» more  IROS 2007»
15 years 7 months ago
Laser tracking of human body motion using adaptive shape modeling
— In this paper we present a method for determining body orientation and pose information from laser scanner data using particle filtering with an adaptive modeling algorithm. A...
Dylan F. Glas, Takahiro Miyashita, Hiroshi Ishigur...
86
Voted
ICALP
2004
Springer
15 years 6 months ago
Syntactic Control of Concurrency
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong
105
Voted
SAS
2004
Springer
103views Formal Methods» more  SAS 2004»
15 years 6 months ago
A Scalable Nonuniform Pointer Analysis for Embedded Programs
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
Arnaud Venet
82
Voted
ICRA
2003
IEEE
119views Robotics» more  ICRA 2003»
15 years 6 months ago
Incremental low-discrepancy lattice methods for motion planning
We present deterministic sequences for use in sampling-based approaches to motion planning. They simultaneously combine the qualities found in many other sequences: i) the increme...
Stephen R. Lindemann, Steven M. LaValle
126
Voted
WORDS
2003
IEEE
15 years 6 months ago
A Tool for Automatic Flow Analysis of C-programs for WCET Calculation
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must...
Jan Gustafsson, Björn Lisper, Christer Sandbe...