3914 search results - page 168 / 783 » Automating SLA modeling |
118
Voted
DLOG
2010
15 years 19 days ago
2010
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
103
click to vote
ECSQARU
2001
Springer
15 years 7 months ago
2001
Springer
In this paper we examine the ability to perform causal reasoning with equilibrium models. We explicate a postulate, which we term the Manipulation Postulate, that is required in o...
156
click to vote
LPNMR
2001
Springer
15 years 7 months ago
2001
Springer
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...
198
Voted
CSL
2012
Springer
13 years 10 months ago
2012
Springer
Reinforcement techniques have been successfully used to maximise the expected cumulative reward of statistical dialogue systems. Typically, reinforcement learning is used to estim...
102
click to vote
ECSQARU
2001
Springer
15 years 7 months ago
2001
Springer
The term “changes in structure,” originating from work in econometrics, refers to structural modifications invoked by actions on a causal model. In this paper we formalize the...