4962 search results - page 417 / 993 » Stochastic Model Checking |
116
click to vote
CEC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— The Particle Swarm Optimization (PSO) algorithm is a robust stochastic evolutionary computation technique based on the movement and intelligence of swarms. This paper p...
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
— We present an ant-based algorithm for spatially sorting objects into an annular structure. The model is minimal, as it requires only stochastic ant behaviour coupled with a phe...
132
click to vote
SMC
2007
IEEE
15 years 10 months ago
2007
IEEE
— We present results of a collaboration project, during which parts of General Motors’ north American vehicle supply chain have been modeled and evaluated. A variant of colored...
128
click to vote
WSC
2007
15 years 6 months ago
2007
Stochastic simulations involve at least some random inputs. This introductory tutorial is meant to call attention to the need to model and generate such inputs in ways that may no...
156
Voted
FORTE
2004
15 years 5 months ago
2004
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...