Sciweavers

1003 search results - page 106 / 201
» Type Inference with Inequalities
Sort
View
UAI
1997
15 years 5 months ago
Robustness Analysis of Bayesian Networks with Local Convex Sets of Distributions
Robust Bayesian inference is the calculation of posterior probability bounds given perturbations in a probabilistic model. This paper focuses on perturbations that can be expresse...
Fabio Gagliardi Cozman
DAGSTUHL
1996
15 years 5 months ago
Multi-Level Lambda-Calculi: An Algebraic Description
Abstract. Two-level -calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose di...
Flemming Nielson, Hanne Riis Nielson
UAI
1994
15 years 5 months ago
A New Look at Causal Independence
Heckerman (1993) defined causal independence in terms of a set of temporal conditional independence statements. These statements formalized certain types of causal interaction whe...
David Heckerman, John S. Breese
CSDA
2008
117views more  CSDA 2008»
15 years 4 months ago
Parametric and nonparametric Bayesian model specification: A case study involving models for count data
In this paper we present the results of a simulation study to explore the ability of Bayesian parametric and nonparametric models to provide an adequate fit to count data, of the t...
Milovan Krnjajic, Athanasios Kottas, David Draper
SLOGICA
2008
92views more  SLOGICA 2008»
15 years 4 months ago
Applied Logic without Psychologism
Logic is a celebrated representation language because of its formal generality. But there are two senses in which a logic may be considered general, one that concerns a technical a...
Gregory R. Wheeler