Sciweavers

2740 search results - page 231 / 548
» Typing the Specialization Interface
Sort
View
WSS
2001
111views Control Systems» more  WSS 2001»
15 years 8 months ago
Cross-Over Composition - Enforcement of Fairness under Unfair Adversary
Abstract. We study a special type of self-stabilizing algorithms composition : the cross-over composition (A B). The cross-over composition is the generalization of the algorithm c...
Joffroy Beauquier, Maria Gradinariu, Colette Johne...
UAI
2003
15 years 8 months ago
On revising fuzzy belief bases
We look at the problem of revising fuzzy belief bases, i.e., belief base revision in which both formulas in the base as well as revision-input formulas can come attached with varyi...
Richard Booth, Eva Richter
SCM
1998
15 years 8 months ago
Coordinated Editing of Versioned Packages in the JP Programming Environment
As part of an investigation of scalable development techniques for systems written in the JavaTM programming language, the Forest Project is building JP, a prototype distributed pr...
Michael L. Van de Vanter
MVA
2000
111views Computer Vision» more  MVA 2000»
15 years 8 months ago
A Face Recognition Terminal with Effective Illumination for Access Control Systems
In this paper, a high-performance face recognition terminal for access control systems is described. The terminal is specially designed to acquire stable face patterns for reliabl...
Toshio Sato, Hiroshi Sukegawa, Kentaro Yokoi, Akio...
MVA
1994
138views Computer Vision» more  MVA 1994»
15 years 8 months ago
A High-Speed Document Image Classifier
In this paper, a high-speed document image classification algorithm is presented. The algorithm is based on the bottom-up strategy which can successfully segment and classify any ...
Lejun Shao