Sciweavers

27354 search results - page 4590 / 5471
» Distributed And Parallel Computing
Sort
View
197
Voted
SSS
2009
Springer
128views Control Systems» more  SSS 2009»
16 years 6 days ago
Dependability Engineering of Silent Self-stabilizing Systems
Self-stabilization is an elegant way of realizing non-masking fault-tolerant systems. Sustained research over last decades has produced multiple self-stabilizing algorithms for man...
Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, H...
179
Voted
LPAR
2001
Springer
16 years 3 days ago
A Local System for Classical Logic
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
Kai Brünnler, Alwen Fernanto Tiu
DEXAW
2000
IEEE
137views Database» more  DEXAW 2000»
16 years 2 days ago
A Holonic Component-Based Approach to Reconfigurable Manufacturing Control Architecture
Holonic Manufacturing Systems have emerged over the last seven years as strategy for manufacturing control system design. A new approach called Holonic ComponentBased Architecture...
Jin-Lung Chirn, Duncan C. McFarlane
197
Voted
ICIP
2000
IEEE
16 years 2 days ago
Wavelet-Based Image Denoising Using Hidden Markov Models
Wavelet-domain hidden Markov models (HMMs) have been recently proposed and applied to image processing, e.g., image denoising. In this paper, we develop a new HMM, called local co...
Guoliang Fan, Xiang-Gen Xia
193
Voted
ICPR
2000
IEEE
16 years 2 days ago
Model-Based Halftoning for Color Image Segmentation
Grouping algorithms based on histograms over measured image features have very successfully been applied to textured image segmentation [2, 11, 6]. However, the competing goals of...
Jan Puzicha, Serge Belongie
« Prev « First page 4590 / 5471 Last » Next »