1653 search results - page 217 / 331 » Directed tree-width examples |
125
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Wireless networks with multiple nodes that relay information from a source to a destination are expected to be deployed in many applications. In this work, we consider multihoppin...
133
Voted
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Middleware technologies, often limit the way in which object classes may be used in distributed applications due to the fixed distribution policies imposed by the Middleware system...
127
Voted
CORR
2010
Springer
15 years 5 months ago
2010
Springer
We focus on credal nets, which are graphical models that generalise Bayesian nets to imprecise probability. We replace the notion of strong independence commonly used in credal ne...
128
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
137
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
The methods used to establish PSPACE-bounds for modal logics can roughly be grouped into two classes: syntax driven methods establish that exhaustive proof search can be performed...