Sciweavers

2957 search results - page 227 / 592
» Processing Self Corrections
Sort
View
PDCAT
2005
Springer
16 years 2 days ago
A New Algorithm to Solve Synchronous Consensus for Dependent Failures
Fault tolerant algorithms are often designed under the t-out-of-n assumption, which is based on the assumption that all processes or components fail independently with equal proba...
Jun Wang, Min Song
CAV
2001
Springer
154views Hardware» more  CAV 2001»
15 years 10 months ago
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM
We consider the randomized consensus protocol of Aspnes and Herlihy for achieving agreement among N asynchronous processes that communicate via read/write shared registers. The alg...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
VLDB
2007
ACM
138views Database» more  VLDB 2007»
16 years 6 months ago
CADS: Continuous Authentication on Data Streams
We study processing and authentication of long-running queries on outsourced data streams. In this scenario, a data owner (DO) constantly transmits its data to a service provider ...
Stavros Papadopoulos, Yin Yang, Dimitris Papadias
ECCV
2006
Springer
16 years 8 months ago
Covariant Derivatives and Vision
Abstract. We describe a new theoretical approach to Image Processing and Vision. Expressed in mathemetical terminology, in our formalism image space is a fibre bundle, and the imag...
Todor Georgiev
ICIP
2006
IEEE
16 years 8 months ago
Shape-Based Image Segmentation Using Normalized Cuts
To segment a whole object from an image is an essential and challenging task in image processing. In this paper, we propose a hybrid segmentation algorithm which combines prior sh...
Wenchao Cai, Jue Wu, Albert C. S. Chung