6762 search results - page 56 / 1353 » Multiple drafts model |
QEST
2005
IEEE
14 years 3 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
GECCO
2007
Springer
14 years 4 months ago
2007
Springer
Multimodal optimization problems consist in detecting all global and local optima of a problem. A new evolutionary approach to multimodal optimization called Roaming technique (RO...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
In this paper, the formation flight of multiple Unmanned Helicopter (UH) systems is researched and a new decentralized receding horizon formation control algorithm is supposed. The...
BMCBI
2010
13 years 10 months ago
2010
Background: Predictive microbiology develops mathematical models that can predict the growth rate of a microorganism population under a set of environmental conditions. Many prima...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
In this paper we develop an intergraded model for request mechanism and data transmission in the uplink phase in the presence of channel noise. This model supports quality of serv...