1237 search results - page 70 / 248 » Abstract shade trees |
134
click to vote
AI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Causal modeling, such as noisy-OR, reduces probability parameters to be acquired in constructing a Bayesian network. Multiple causes can reinforce each other in producing...
140
click to vote
NETWORKING
2007
15 years 6 months ago
2007
Abstract. In this paper we evaluate the data transmission performance of a generalized multiple-tree-based overlay architecture for peer-to-peer live streaming that employs multipa...
104
click to vote
NETWORKING
2004
15 years 6 months ago
2004
Abstract. Multicast content delivery can be expected to become a major source of revenue with the increase of private broadband fixed and mobile communications. Several multicast a...
140
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
124
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...