Sciweavers

1430 search results - page 21 / 286
» Representing Probability Measures using Probabilistic Proces...
Sort
View
VMCAI
2010
Springer
15 years 9 months ago
Best Probabilistic Transformers
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...
Björn Wachter, Lijun Zhang
93
Voted
CASES
2006
ACM
15 years 3 months ago
Probabilistic arithmetic and energy efficient embedded signal processing
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...
Jason George, B. Marr, Bilge E. S. Akgul, Krishna ...
GIS
2004
ACM
16 years 24 days ago
Representing spatiality in a conceptual multidimensional model
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&...
Elzbieta Malinowski, Esteban Zimányi
SIGIR
2008
ACM
14 years 11 months ago
Posterior probabilistic clustering using NMF
We introduce the posterior probabilistic clustering (PPC), which provides a rigorous posterior probability interpretation for Nonnegative Matrix Factorization (NMF) and removes th...
Chris H. Q. Ding, Tao Li, Dijun Luo, Wei Peng
LADS
2007
Springer
15 years 5 months ago
Probabilistic and Logical Beliefs
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...
John W. Lloyd, Kee Siong Ng