1434 search results - page 146 / 287 » Stochastic computation |
137
click to vote
TGC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
127
click to vote
JMLR
2010
14 years 10 months ago
2010
Selecting conveniently the proposal kernel and the adjustment multiplier weights of the auxiliary particle filter may increase significantly the accuracy and computational efficie...
118
click to vote
IJON
2007
15 years 3 months ago
2007
This article presents the winning solution to the CATS time series prediction competition. The solution is based on classical optimal linear estimation theory. The proposed method...
156
click to vote
WIOPT
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract—This paper considers maximizing throughput utility in a multi-user network with partially observable Markov ON/OFF channels. Instantaneous channel states are never known...
142
click to vote
EVOW
2012
Springer
13 years 11 months ago
2012
Springer
We are using bandit-based adaptive operator selection while autotuning parallel computer programs. The autotuning, which uses evolutionary algorithm-based stochastic sampling, take...