9204 search results - page 208 / 1841 » Modelling the dynamics of biosystems |
220
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
188
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— A Model Predictive Control (MPC) -based approach is presented for autonomous path following via Active Front Steering (AFS). We start from the Nonlinear MPC (NMPC) prob...
208
click to vote
TOG
2012
13 years 9 months ago
2012
We present a dynamic tree modeling and representation technique that allows complex tree models to interact with their environment. Our method uses changes in the light distributi...
189
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
Temporal or dynamic textures (DT's) are video sequences that are spatially repetitive and temporally stationary. DT's are temporal analogs of the well known spatial stil...
158
click to vote
CSDA
2006
15 years 7 months ago
2006
A nonlinear dynamic model for the quotes issued by Nasdaq dealers is considered, focussing on the top two Electronic Communication Networks (ECNs), Island and Instinet, and the th...