Sciweavers

4075 search results - page 155 / 815
» Modeling Distributed Algorithm Using B
Sort
View
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
14 years 5 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
15 years 1 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 9 months 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»
14 years 6 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 11 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