357 search results - page 28 / 72 » Computing Reachable States for Nonlinear Biological Models |
131
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— A common approach to designing feedback controllers for nonlinear partial differential equations (PDEs) is to linearize the system about an equilibrium and use the line...
136
click to vote
ASM
2005
ASM
15 years 9 months ago
2005
ASM
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
134
click to vote
CVPR
1998
IEEE
16 years 6 months ago
1998
IEEE
In previous work [14], we modify the hidden Markov model (HMM) framework to incorporate a global parametric variation in the output probabilities of the states of the HMM. Develop...
151
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
129
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
We introduce novel discriminative learning algorithms for dynamical systems. Models such as Conditional Random Fields or Maximum Entropy Markov Models outperform the generative Hi...