193 search results - page 14 / 39 » A Causal Theory of Abduction |
162
click to vote
JLP
2000
15 years 5 months ago
2000
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
171
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
160
click to vote
ICASSP
2008
IEEE
16 years 15 days ago
2008
IEEE
In this paper, we propose a novel multi-dimensional distributed hidden Markov model (DHMM) framework. We first extend the theory of 2D hidden Markov models (HMMs) to arbitrary ca...
169
click to vote
JMLR
2010
15 years 25 days ago
2010
: This review presents empirical researchers with recent advances in causal inference, and stresses the paradigmatic shifts that must be undertaken in moving from traditional stati...
176
click to vote
CAV
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. A minimum satisfying assignment of a formula is a minimumcost partial assignment of values to the variables in the formula that guarantees the formula is true. Minimum sa...