9219 search results - page 657 / 1844 » Dynamics Modeling and Culling |
182
click to vote
EUROCAST
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We report computer-aided modeling and simulation of evolution in biological systems with living organisms as effect of extremum properties of classical statistical entro...
217
click to vote
ILC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
178
click to vote
ICAC
2005
IEEE
16 years 1 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
196
click to vote
ECSQARU
2005
Springer
16 years 29 days ago
2005
Springer
In the presence of a river flood, operators in charge of control must take decisions based on imperfect and incomplete sources of information (e.g., data provided by a limited numb...
210
click to vote
NIPS
2003
15 years 8 months ago
2003
We describe a Markov chain method for sampling from the distribution of the hidden state sequence in a non-linear dynamical system, given a sequence of observations. This method u...