4341 search results - page 304 / 869 » Quantitative Model checking |
189
click to vote
KES
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we propose a novel algorithm for the pansharpening of multispectral images based on the use of a Total Variation (TV) image prior. Within the Bayesian formu...
167
click to vote
QEST
2006
IEEE
16 years 21 days ago
2006
IEEE
Stochastic orders can be applied to Markov reward models and used to aggregate models, while introducing a bounded error. Aggregation reduces the number of states in a model, miti...
157
click to vote
WEBI
2009
Springer
16 years 1 months ago
2009
Springer
—Traditional movie gross predictions are based on numerical and categorical movie data. But since the 1990s, text sources such as news have been proven to carry extra and meaning...
172
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
170
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
The automatic allocation of enterprise workload to resources can be enhanced by being able to make `whatif' response time predictions, whilst different allocations are being c...