Sciweavers

1056 search results - page 27 / 212
» A Probabilistic Applied Pi-Calculus
Sort
View
AAAI
1990
13 years 10 months ago
Symbolic Probabilistic Inference in Belief Networks
The Symbolic Probabilistic Inference (SPI) Algorithm [D'Ambrosio, 19891 provides an efficient framework for resolving general queries on a belief network. It applies the conc...
Ross D. Shachter, Bruce D'Ambrosio, Brendan Del Fa...
JAL
2008
83views more  JAL 2008»
13 years 8 months ago
Objective Bayesian probabilistic logic
This paper develops connections between objective Bayesian epistemology--which holds that the strengths of an agent's beliefs should be representable by probabilities, should...
Jon Williamson
DSL
2009
13 years 6 months ago
A DSL for Explaining Probabilistic Reasoning
We propose a new focus in language design where languages provide constructs that not only describe the computation of results, but also produce explanations of how and why those r...
Martin Erwig, Eric Walkingshaw
WISA
2004
Springer
14 years 2 months ago
A Probabilistic Method for Detecting Anomalous Program Behavior
In this paper, we, as well as Eskin, Lee, Stolfo [7] propose a method of prediction model. In their method, the program was characterized with both the order and the kind of system...
Kohei Tatara, Toshihiro Tabata, Kouichi Sakurai
EMNLP
2006
13 years 10 months ago
Loss Minimization in Parse Reranking
We propose a general method for reranker construction which targets choosing the candidate with the least expected loss, rather than the most probable candidate. Different approac...
Ivan Titov, James Henderson