1430 search results - page 21 / 286 » Representing Probability Measures using Probabilistic Proces... |
131
Voted
VMCAI
2010
Springer
15 years 12 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...
123
Voted
CASES
2006
ACM
15 years 6 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...
239
Voted
GIS
2004
ACM
16 years 3 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&...
126
Voted
SIGIR
2008
ACM
15 years 2 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...
116
Voted
LADS
2007
Springer
15 years 8 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...