760 search results - page 52 / 152 » Recommendation Systems: A Probabilistic Analysis |
118
click to vote
IANDC
2006
14 years 11 months ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
100
click to vote
AI
2008
Springer
14 years 11 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
163
click to vote
FASE
2011
Springer
14 years 3 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
107
click to vote
CMSB
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
WECWIS
2005
IEEE
15 years 5 months ago
2005
IEEE
Singular Value Decomposition (SVD), together with the Expectation-Maximization (EM) procedure, can be used to find a low-dimension model that maximizes the loglikelihood of obser...