4075 search results - page 584 / 815 » Modeling Distributed Algorithm Using B |
173
click to vote
IPMI
2005
Springer
16 years 3 days ago
2005
Springer
Statistical iterative reconstruction algorithms have shown improved image quality over conventional nonstatistical methods in PET by using accurate system response models and measu...
179
click to vote
ICPP
2008
IEEE
16 years 1 months ago
2008
IEEE
Numerical simulations in computational physics, biology, and finance, often require the use of high quality and efficient parallel random number generators. We design and optimi...
173
click to vote
ICDCS
2007
IEEE
16 years 28 days ago
2007
IEEE
Uniform random sample is often useful in analyzing data. Usually taking a uniform sample is not a problem if the entire data resides in one location. However, if the data is distr...
199
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we consider the problem of combining link and content analysis for community detection from networked data, such as paper citation networks and Word Wide Web. Most ...
300
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...