1430 search results - page 21 / 286 » Representing Probability Measures using Probabilistic Proces... |
184
Voted
VMCAI
2010
Springer
16 years 3 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...
172
Voted
CASES
2006
ACM
15 years 10 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...
303
Voted
GIS
2004
ACM
16 years 7 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&...
178
Voted
SIGIR
2008
ACM
15 years 6 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...
159
Voted
LADS
2007
Springer
16 years 15 days 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...