2468 search results - page 127 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
188
Voted
3DICA
2000
15 years 5 months ago
2000
Towards photo-realistic 3D scene reconstruction from range and color images, we present a statistical technique for multimodal image registration. Statistical tools are employed t...
149
Voted
SAC
2011
ACM
14 years 10 months ago
2011
ACM
We propose a more efficient version of the slice sampler for Dirichlet process mixture models described by Walker (2007). This sampler allows the fitting of infinite mixture mod...
165
click to vote
SIAMCOMP
2012
13 years 6 months ago
2012
We consider online algorithms for the generalized caching problem. Here we are given a cache of size k and pages with arbitrary sizes and fetching costs. Given a request sequence ...
120
Voted
PODC
2009
ACM
16 years 4 months ago
2009
ACM
In 2004, Klavins et al. introduced the use of graph grammars to describe--and to program--systems of self-assembly. It turns out that these graph grammars can be embedded in a gra...
125
Voted
HOTOS
2003
IEEE
15 years 9 months ago
2003
IEEE
Data replication is a widely used technique for achieving fault tolerance and improved performance. With the advent of content delivery networks, it is becoming more and more freq...