1599 search results - page 92 / 320 » Probabilistic Analysis of Anonymity |
115
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— In this paper we propose a testing based method for safety/ reachability analysis of stochastic hybrid systems. Testing based methods are characterized by analysis based on the...
145
click to vote
FORMATS
2009
Springer
15 years 8 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
143
click to vote
DAS
2006
Springer
15 years 7 months ago
2006
Springer
The research on offline handwritten Arabic character recognition has received more and more attention in recent years, because of the increasing needs of Arabic document digitizati...
144
click to vote
PAKDD
2009
ACM
15 years 8 months ago
2009
ACM
Abstract. Recently, the variational Bayesian approximation was applied to probabilistic matrix factorization and shown to perform very well in experiments. However, its good perfor...
153
click to vote
AAAI
2004
15 years 5 months ago
2004
Based on the probabilistic reformulation of principal component analysis (PCA), we consider the problem of determining the number of principal components as a model selection prob...