Sciweavers

6762 search results - page 56 / 1353
» Multiple drafts model
Sort
View
QEST
2005
IEEE
15 years 6 months ago
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs
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...
YoungMin Kwon, Gul A. Agha
127
Voted
GECCO
2007
Springer
158views Optimization» more  GECCO 2007»
15 years 7 months ago
A new evolutionary model for detecting multiple optima
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...
Rodica Ioana Lung, D. Dumitrescu
121
Voted
CDC
2009
IEEE
141views Control Systems» more  CDC 2009»
15 years 1 months ago
Decentralized receding horizon control for multiple unmanned helicopters considering dynamics model
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...
Yuqing He, Jianda Han
109
Voted
BMCBI
2010
110views more  BMCBI 2010»
15 years 26 days ago
A random effect multiplicative heteroscedastic model for bacterial growth
Background: Predictive microbiology develops mathematical models that can predict the growth rate of a microorganism population under a set of environmental conditions. Many prima...
Ricardo Cao, Mario Francisco-Fernández, Emi...
89
Voted
CORR
2010
Springer
100views Education» more  CORR 2010»
15 years 25 days ago
General Model for Single and Multiple Channels WLANs with Quality of Service Support
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...
Abdelsalam B. Amer, Fayez Gebali