752 search results - page 91 / 151 » A Markov Chain Model Checker |
ICMCS
2000
IEEE
14 years 1 months ago
2000
IEEE
Applications in virtual multimedia catalogs are highly interactive. Thus, it is difficult to estimate resource demands required for presentation of catalog contents. In this pape...
ICA
2007
Springer
14 years 18 days ago
2007
Springer
Abstract. A nonparametric Bayesian extension of Independent Components Analysis (ICA) is proposed where observed data Y is modelled as a linear superposition, G, of a potentially i...
NIPS
2008
13 years 10 months ago
2008
Sampling functions in Gaussian process (GP) models is challenging because of the highly correlated posterior distribution. We describe an efficient Markov chain Monte Carlo algori...
KDD
2012
ACM
11 years 11 months ago
2012
ACM
Digital storage of personal music collections and cloud-based music services (e.g. Pandora, Spotify) have fundamentally changed how music is consumed. In particular, automatically...
SIGIR
2005
ACM
14 years 2 months ago
2005
ACM
We study a new task, proactive information retrieval by combining implicit relevance feedback and collaborative filtering. We have constructed a controlled experimental setting, ...