3760 search results - page 34 / 752 » Logic-Based Probabilistic Modeling |
153
click to vote
KDD
1998
ACM
15 years 11 months ago
1998
ACM
We apply a well-known Bayesian probabilistic model to textual information retrieval: the classification of documents based on their relevance to a query. This model was previously...
203
click to vote
VMCAI
2010
Springer
16 years 4 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...
182
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we study several properties of the Exogenous Probabilistic Propositional Logic (EPPL), a logic for reasoning about probabilities, with the purpose of introducing a t...
216
click to vote
TCS
2010
15 years 1 months ago
2010
We are interested in describing timed systems that exhibit probabilistic behaviour. To this purpose, we consider a model of Probabilistic Timed Automata and introduce a concept of ...
161
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
This paper addresses the problem of implementing an context model. First, the abstract context model is represented by a network of situations. Two different implementations for t...