Sciweavers

4075 search results - page 155 / 815
» Modeling Distributed Algorithm Using B
Sort
View
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
13 years 8 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...
ATAL
2007
Springer
14 years 5 months ago
A complete distributed constraint optimization method for non-traditional pseudotree arrangements
Distributed Constraint Optimization (DCOP) is a general framework that can model complex problems in multi-agent systems. Several current algorithms that solve general DCOP instan...
James Atlas, Keith Decker
CVPR
2003
IEEE
15 years 24 days ago
Face Alignment Using Statistical Models and Wavelet Features
Active Shape Model (ASM) is a powerful statistical tool for face alignment by shape. However, it can suffer from changes in illumination and facial expression changes, and local m...
Feng Jiao, Stan Z. Li, Heung-Yeung Shum, Dale Schu...
PAMI
2007
155views more  PAMI 2007»
13 years 10 months ago
Localization of Shapes Using Statistical Models and Stochastic Optimization
—In this paper, we present a new model for deformations of shapes. A pseudolikelihood is based on the statistical distribution of the gradient vector field of the gray level. The...
François Destrempes, Max Mignotte, Jean-Fra...
CAIP
2001
Springer
293views Image Analysis» more  CAIP 2001»
14 years 3 months ago
A Markov Random Field Image Segmentation Model Using Combined Color and Texture Features
In this paper, we propose a Markov random field (MRF) image segmentation model which aims at combining color and texture features. The theoretical framework relies on Bayesian est...
Zoltan Kato, Ting-Chuen Pong