Sciweavers

4592 search results - page 250 / 919
» Framework for Studying Substitution
Sort
View
JMLR
2010
93views more  JMLR 2010»
15 years 2 months ago
Sufficient covariates and linear propensity analysis
Working within the decision-theoretic framework for causal inference, we study the properties of "sufficient covariates", which support causal inference from observation...
Hui Guo, A. Philip Dawid
ICAIL
2011
ACM
14 years 7 months ago
On the relationship between Carneades and Defeasible Logic
We study the formal relationships between the inferential aspects of Carneades (a general argumentation framework) and Defeasible Logic. The outcome of the investigation is that t...
Guido Governatori
CHARME
2003
Springer
120views Hardware» more  CHARME 2003»
15 years 11 months ago
A Compositional Theory of Refinement for Branching Time
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
Panagiotis Manolios
DSS
2007
75views more  DSS 2007»
15 years 7 months ago
Short Term and Total Life Impact analysis of email worms in computer systems
This paper develops a methodology for analyzing and predicting the impact category of malicious code, particularly email worms. The current paper develops two frameworks to classi...
Insu Park, Raj Sharman, H. Raghav Rao, Shambhu J. ...
ALDT
2009
Springer
172views Algorithms» more  ALDT 2009»
16 years 1 months ago
Extending Argumentation to Make Good Decisions
Abstract. Argumentation has been acknowledged as a powerful mechanism for automated decision making. In this context several recent works have studied the problem of accommodating ...
Yannis Dimopoulos, Pavlos Moraitis, Leila Amgoud