Sciweavers

1300 search results - page 7 / 260
» Probabilistic logic with independence
Sort
View
ASIAN
2007
Springer
126views Algorithms» more  ASIAN 2007»
14 years 2 months ago
Computational Semantics for Basic Protocol Logic - A Stochastic Approach
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
Gergei Bana, Koji Hasebe, Mitsuhiro Okada
WOLLIC
2009
Springer
14 years 3 months ago
An Independence Relation for Sets of Secrets
A relation between two secrets, known in the literature as nondeducibility, was originally introduced by Sutherland. We extend it to a relation between sets of secrets that we call...
Sara Miner More, Pavel Naumov
IDA
2009
Springer
14 years 3 months ago
Probabilistic Formulation of Independent Vector Analysis Using Complex Gaussian Scale Mixtures
We propose a probabilistic model for the Independent Vector Analysis approach to blind deconvolution and derive an asymptotic Newton method to estimate the model by Maximum Likelih...
Jason A. Palmer, Kenneth Kreutz-Delgado, Scott Mak...
ANLP
2000
77views more  ANLP 2000»
13 years 10 months ago
A Probabilistic Genre-Independent Model of Pronominalization
Our aim in this paper is to identify genreindependent factors that influence the decision to pronominalize. Results based on the annotation of twelve texts from four genres show t...
Michael Strube, Maria Wolters
CORR
2011
Springer
174views Education» more  CORR 2011»
13 years 10 days ago
Parameter Learning of Logic Programs for Symbolic-Statistical Modeling
We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. de nite clause programs containing probabilistic facts with a ...
Yoshitaka Kameya, Taisuke Sato