1430 search results - page 21 / 286 » Representing Probability Measures using Probabilistic Proces... |
VMCAI
2010
Springer
14 years 5 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
CASES
2006
ACM
13 years 11 months ago
2006
ACM
Probabilistic arithmetic, where the ith output bit of addition and multiplication is correct with a probability pi, is shown to be a vehicle for realizing extremely energy-efficie...
GIS
2004
ACM
14 years 8 months ago
2004
ACM
Data Warehouses and On-Line Analytical Processing systems rely on a multidimensional model that includes dimensions, hierarchies, and measures. Such model allows to express users&...
SIGIR
2008
ACM
13 years 7 months ago
2008
ACM
We introduce the posterior probabilistic clustering (PPC), which provides a rigorous posterior probability interpretation for Nonnegative Matrix Factorization (NMF) and removes th...
LADS
2007
Springer
14 years 1 months ago
2007
Springer
This paper proposes a method of integrating two different concepts of belief in artificial intelligence: belief as a probability distribution and belief as a logical formula. The...