4962 search results - page 437 / 993 » Stochastic Model Checking |
130
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We consider equation systems of the form X1 = f1(X1, . . . , Xn), . . . , Xn = fn(X1, . . . , Xn) where f1, . . . , fn are polynomials with positive real coefficients. In vector fo...
128
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We consider the discrete, time-varying broadcast channel with memory, under the assumption that the channel states belong to a set of nite cardinality. We begin with the de nition...
153
click to vote
TCS
2008
15 years 4 months ago
2008
A large class of q-distributions is defined on the stochastic model of Bernoulli trials in which the probability of success (=advancing to the next level) depends geometrically on...
177
click to vote
ANTSW
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Ant algorithms are usually derived from a stochastic modeling based on some specific probability laws. We consider in this paper a full deterministic model of "logis...
163
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
A rechargeable battery may be used to partially protect the privacy of information contained in a household’s electrical load profile. We represent the system as a finite stat...