4962 search results - page 319 / 993 » Stochastic Model Checking |
139
click to vote
SAINT
2002
IEEE
15 years 8 months ago
2002
IEEE
The Simple Mail Transfer Protocol (SMTP) based E-mail system is the most popular application in today’s Internet world, but there are many dark clouds at the edge of the sunshin...
120
click to vote
WSC
2007
15 years 5 months ago
2007
We develop a sequential sampling procedure for solving a class of stochastic programs. A sequence of feasible solutions, with at least one optimal limit point, is given as input t...
119
click to vote
FLAIRS
2006
15 years 4 months ago
2006
We propose a new decision-theoretic approach for solving execution-time deliberation scheduling problems using recent advances in Generalized Semi-Markov Decision Processes (GSMDP...
130
click to vote
CSL
2007
Springer
15 years 3 months ago
2007
Springer
Determining the position of breaks in a sentence is a key task for a text-to-speech (TTS) system. We describe some methods for phrase break prediction in which the whole sentence ...
172
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Like its linear counterpart, the Kernel Least Mean Square (KLMS) algorithm is also becoming popular in nonlinear adaptive filtering due to its simplicity and robustness. The “k...