4962 search results - page 290 / 993 » Stochastic Model Checking |
119
click to vote
JMLR
2010
14 years 10 months ago
2010
In this paper, we consider the asymptotic form of the generalization error for the restricted Boltzmann machine in Bayesian estimation. It has been shown that obtaining the maximu...
135
click to vote
FORMATS
2009
Springer
15 years 9 months ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
112
click to vote
BMCBI
2008
15 years 3 months ago
2008
In this paper we present preliminary results stemming from a novel application of Markov Models and Support Vector Machines to splice site classification of Intron-Exon and Exon-I...
142
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
175
click to vote
WSC
2007
15 years 5 months ago
2007
I will review the role that Monte Carlo methods play in the physical sciences. They are very widely used for a number of reasons: they permit the rapid and faithful transformation...