4075 search results - page 196 / 815 » Modeling Distributed Algorithm Using B |
224
click to vote
DSRT
2009
IEEE
15 years 4 months ago
2009
IEEE
Predicting latency between nodes on the internet can have a significant impact on the performance of many services that use latency distances among nodes as a decision making input...
188
click to vote
UAI
2008
15 years 8 months ago
2008
Chordal graphs can be used to encode dependency models that are representable by both directed acyclic and undirected graphs. This paper discusses a very simple and efficient algo...
175
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, a neural network scheme is presented for modeling VBR MPEG-2 video sources. In particular, three non linear autoregressive models (NAR) are proposed to model the ag...
205
click to vote
MIA
2011
15 years 1 months ago
2011
The automatic segmentation of the prostate and rectum from 3-D computed tomography (CT) images is still a challenging problem, and is critical for image-guided therapy application...
204
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...