Sciweavers

255 search results - page 22 / 51
» Variability Models Must Not be Invariant!
Sort
View
AUTOMATICA
1999
119views more  AUTOMATICA 1999»
13 years 7 months ago
Robust L2-gain control for nonlinear systems with projection dynamics and input constraints: an example from traffic control
We formulate the L2-gain control problem for a general nonlinear, state-space system with projection dynamics in the state evolution and hard constraints on the set of admissible ...
Joseph A. Ball, Martin V. Day, Tungsheng Yu, Pushk...
AAAI
1994
13 years 9 months ago
Automated Modeling for Answering Prediction Questions: Selecting the Time Scale and System Boundary
The ability to answer prediction questions is crucial to reasoning about physical systems. A prediction question poses a hypothetical scenario and asks for the resulting behavior ...
Jeff Rickel, Bruce W. Porter
ISBMS
2010
Springer
13 years 9 months ago
Optimization of Case-Specific Vascular Tree Models Based on Vessel Size Imaging
We analyze a problem, which is relevant for physiological modeling of vascular networks: the initialization and optimization of specific, individual models of a functioning vessel ...
Bryn A. Lloyd, Sven Hirsch, Gábor Szé...
BIRTHDAY
2003
Springer
14 years 25 days ago
Extreme Model Checking
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...
HIS
2004
13 years 9 months ago
Neural Networks and Belief Logic
Many researchers have observed that neurons process information in an imprecise manner - if a logical inference emerges from neural computation, it is inexact at best. Thus, there...
Yuan Yan Chen, Joseph J. Chen