Sciweavers

281 search results - page 48 / 57
» State estimation for linear systems with state equality cons...
Sort
View
ISRR
2005
Springer
211views Robotics» more  ISRR 2005»
15 years 5 months ago
Field D*: An Interpolation-Based Path Planner and Replanner
Abstract. We present an interpolation-based planning and replanning algorithm for generating smooth paths through non-uniform cost grids. Most grid-based path planners use discrete...
Dave Ferguson, Anthony Stentz
CAV
2004
Springer
152views Hardware» more  CAV 2004»
15 years 5 months ago
Abstract Regular Model Checking
Regular Tree Model Checking Ahmed Bouajjani, Peter Habermehl 1 LIAFA, University Paris 7, Case 7014, 2, place Jussieu, F-75251 Paris Cedex 05, France Adam Rogalewicz, Tom´aˇs Voj...
Ahmed Bouajjani, Peter Habermehl, Tomás Voj...
GCB
2004
Springer
101views Biometrics» more  GCB 2004»
15 years 5 months ago
Kleene's Theorem and the Solution of Metabolic Carbon Labeling Systems
: Carbon Labeling Systems (CLS) are large equation systems that describe the dynamics of labeled carbon atoms in a metabolic network. The rapid solution of these systems is the alg...
Nicole Isermann, Michael Weitzel, Wolfgang Wiecher...
BMCBI
2008
242views more  BMCBI 2008»
14 years 11 months ago
New time-scale criteria for model simplification of bio-reaction systems
Background: Quasi-steady state approximation (QSSA) based on time-scale analysis is known to be an effective method for simplifying metabolic reaction system, but the conventional...
Junwon Choi, Kyung-won Yang, Tai-yong Lee, Sang Yu...
TVCG
2010
145views more  TVCG 2010»
14 years 10 months ago
Fluid Simulation with Articulated Bodies
—We present an algorithm for creating realistic animations of characters that are swimming through fluids. Our approach combines dynamic simulation with data-driven kinematic mot...
Nipun Kwatra, Christopher Wojtan, Mark Carlson, Ir...