2610 search results - page 215 / 522 » Computational Probabilistic Non-interference |
169
click to vote
ACL
2010
15 years 2 months ago
2010
Probabilistic latent topic models have recently enjoyed much success in extracting and analyzing latent topics in text in an unsupervised way. One common deficiency of existing to...
154
click to vote
ACL
2010
15 years 2 months ago
2010
This paper establishes a connection between two apparently very different kinds of probabilistic models. Latent Dirichlet Allocation (LDA) models are used as "topic models&qu...
141
click to vote
ICSOC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...
118
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
112
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
There are numerous cases where a reasoning agent needs to reason about the behavior of an opponent agent. In this paper, we propose a hybrid probabilistic logic language within wh...