Sciweavers

2019 search results - page 192 / 404
» Linkage Information Processing In Distribution Estimation Al...
Sort
View
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 1 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
MOBIDE
2003
ACM
15 years 8 months ago
Consistency mechanisms for a distributed lookup service supporting mobile applications
This paper presents a general-purpose distributed lookup service, denoted Passive Distributed Indexing (PDI). PDI stores entries in form of (key, value) pairs in index caches loca...
Christoph Lindemann, Oliver P. Waldhorst
INFORMATICALT
2006
88views more  INFORMATICALT 2006»
15 years 2 months ago
Improving the Performances of Asynchronous Algorithms by Combining the Nogood Processors with the Nogood Learning Techniques
Abstract. The asynchronous techniques that exist within the programming with distributed constraints are characterized by the occurrence of the nogood values during the search for ...
Ionel Muscalagiu, Vladimir Cretu
ICMCS
2010
IEEE
193views Multimedia» more  ICMCS 2010»
15 years 4 months ago
Motion segmentation in compressed video using Markov Random Fields
In this paper, we propose an unsupervised segmentation algorithm for extracting moving objects/regions from compressed video using Markov Random Field (MRF) classification. First,...
Yue-Meng Chen, Ivan V. Bajic, Parvaneh Saeedi
3DIM
2005
IEEE
15 years 8 months ago
3D Registration by Textured Spin-Images
This work is motivated by the desire of exploiting for 3D registration purposes the photometric information current range cameras typically associate to range data. Automatic pair...
Nicola Brusco, Marco Andreetto, Andrea Giorgi, Gui...