Sciweavers

2144 search results - page 146 / 429
» Exact Flow Analysis
Sort
View
ICRA
2003
IEEE
98views Robotics» more  ICRA 2003»
15 years 9 months ago
Towards a Factored Analysis of Legged Locomotion Models
In this paper, we report on a new stability analysis for hybrid legged locomotion systems based on factorization of return maps. We apply this analysis to a family of models of th...
Richard Altendorfer, Daniel E. Koditschek, Philip ...
COMPUTING
2004
204views more  COMPUTING 2004»
15 years 4 months ago
Image Registration by a Regularized Gradient Flow. A Streaming Implementation in DX9 Graphics Hardware
The presented image registration method uses a regularized gradient flow to correlate the intensities in two images. Thereby, an energy functional is successively minimized by des...
Robert Strzodka, Marc Droske, Martin Rumpf
ICTAI
2005
IEEE
15 years 10 months ago
Reachability Analysis for Uncertain SSPs
Stochastic Shortest Path problems (SSPs) can be efficiently dealt with by the Real-Time Dynamic Programming algorithm (RTDP). Yet, RTDP requires that a goal state is always reach...
Olivier Buffet
ICCD
1995
IEEE
121views Hardware» more  ICCD 1995»
15 years 8 months ago
Analysis of conditional resource sharing using a guard-based control representation
Optimization of hardware resources for conditional data-flow graph behavior is particularly important when conditional behavior occurs in cyclic loops and maximization of through...
Ivan P. Radivojevic, Forrest Brewer
FLAIRS
2004
15 years 5 months ago
Analysis of Rule Refinement Conflicts
There exists no methodical standard for conflict analysis in the selection of optimal rule refinements. Current rule base refinement systems select the best rule refinements out o...
Hans-Werner Kelbassa