938 search results - page 32 / 188 » Mathematical Modelling the Ethnic System |
178
Voted
CALCO
2005
Springer
16 years 26 days ago
2005
Springer
Simulations are a very natural way of relating concurrent systems, which are mathematically modeled by Kripke structures. The range of available notions of simulations makes it ver...
204
click to vote
VSTTE
2005
Springer
16 years 24 days ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
180
click to vote
CDC
2009
IEEE
16 years 1 days ago
2009
IEEE
—Motivated by the migration mechanisms of ecosystems, various extensions to biogeography-based optimization (BBO) are proposed. BBO is an original optimization method based on th...
230
click to vote
QEST
2005
IEEE
16 years 27 days ago
2005
IEEE
In this paper we present a novel performance analysis technique for large-scale systems modelled in the stochastic process algebra PEPA. In contrast to the well-known approach of ...
179
Voted
ISIPTA
2003
IEEE
16 years 18 days ago
2003
IEEE
Set-valued estimation offers a way to account for imprecise knowledge of the prior distribution of a Bayesian statistical inference problem. The set-valued Kalman filter, which p...