4962 search results - page 408 / 993 » Stochastic Model Checking |
124
click to vote
IJCNLP
2005
Springer
15 years 9 months ago
2005
Springer
Corpus-based stochastic language models have achieved significant success in speech recognition, but construction of a corpus pertaining to a specific application is a difficult ta...
135
click to vote
MASCOTS
2003
15 years 5 months ago
2003
Abstract. In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way...
141
click to vote
COMCOM
2008
15 years 3 months ago
2008
In this paper, we consider a variant of an M/M/c/c loss system with fluctuating server capacity. Given a set of primary inputs, such as arrival rate, service rate, and capacity fl...
125
click to vote
CVIU
2006
15 years 3 months ago
2006
This paper describes how a visual system can automatically define features of interest from the observation of a large enough number of natural images. The principle complements t...
120
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
There is a growing body of work on sorting and selection in models other than the unit-cost comparison model. This work treats a natural stochastic variant of the problem where the...