183 search results - page 29 / 37 » A Symbolic Out-of-Core Solution Method for Markov Models |
DSN
2009
IEEE
14 years 2 months ago
2009
IEEE
MAP queueing networks are recently proposed models for performance assessment of enterprise systems, such as multi-tier applications, where workloads are significantly affected b...
TASLP
2008
13 years 6 months ago
2008
Robust data retrieval in the presence of uncertainty is a challenging problem in multimedia information retrieval. In query-by-humming (QBH) systems, uncertainty can arise in query...
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
Dimensionality reduction, spectral classification and segmentation are the three main problems in hyperspectral image analysis. In this paper we propose a Bayesian estimation appr...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
AAAI
2008
13 years 10 months ago
2008
Recent research has shown the benefit of framing problems of imitation learning as solutions to Markov Decision Problems. This approach reduces learning to the problem of recoveri...