Sciweavers

1611 search results - page 177 / 323
» Queries Independent of Updates
Sort
View
84
Voted
ACTA
2006
108views more  ACTA 2006»
14 years 11 months ago
Refinement verification of the lazy caching algorithm
The lazy caching algorithm of Afek, Brown, and Merrit (1993) is a protocol that allows the use of local caches with delayed updates. It results in a memory model that is not atomi...
Wim H. Hesselink
69
Voted
IJAIT
2002
82views more  IJAIT 2002»
14 years 10 months ago
Interleaved Backtracking in Distributed Constraint Networks
The adaptation of software technology to distributed environments is an important challenge today. In this work we combine parallel and distributed search. By this way we add the ...
Youssef Hamadi
CORR
2010
Springer
79views Education» more  CORR 2010»
14 years 7 months ago
Probabilistic cellular automata, invariant measures, and perfect sampling
In a probabilistic cellular automaton (PCA), the cells are updated synchronously and independently, according to a distribution depending on a finite neighborhood. A PCA can be vi...
Ana Busic, Jean Mairesse, Irene Marcovici
101
Voted
ICASSP
2011
IEEE
14 years 2 months ago
Itakura-Saito nonnegative matrix factorization with group sparsity
We propose an unsupervised inference procedure for audio source separation. Components in nonnegative matrix factorization (NMF) are grouped automatically in audio sources via a p...
Augustin Lefevre, Francis Bach, Cédric F&ea...
ICCV
2011
IEEE
13 years 11 months ago
Simultaneous Multi-Body Stereo and Segmentation
This paper presents a novel multi-body multi-view stereo method to simultaneously recover dense depth maps and perform segmentation with the input of a monocular image sequence. U...
Guofeng Zhang, Jiaya Jia, Hujun Bao