4962 search results - page 275 / 993 » Stochastic Model Checking |
119
click to vote
FDL
2003
IEEE
15 years 8 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
131
click to vote
NPL
2002
15 years 2 months ago
2002
A neural network model of associative memory is presented which unifies the two historically more relevant enhancements to the basic Little-Hopfield discrete model: the graded resp...
110
click to vote
MMAS
2010
Springer
14 years 9 months ago
2010
Springer
We analyze the performance of the novel Markov chain stochastic modeling technique for derivation of effective equations for a set of essential variables. This technique is an empi...
106
click to vote
ICMLA
2008
15 years 4 months ago
2008
This paper treats the problem of distributed planning in general-sum stochastic games with communication when the model is known. Our main contribution is a novel, game theoretic ...
107
click to vote
EOR
2010
2010
Optimal asset allocation for aggregated defined benefit pension funds with stochastic interest rates
15 years 3 months ago
In this paper we study the optimal management of an aggregated pension fund of defined benefit type, in the presence of a stochastic interest rate. We suppose that the sponsor can ...