منابع مشابه
Measuring the Self-Consistency of Stereo Algorithms
A new approach to characterizing the performance of point-correspondence algorithms is presented. Instead of relying on any \ground truth', it uses the self-consistency of the outputs of an algorithm independently applied to di erent sets of views of a static scene. It allows one to evaluate algorithms for a given class of scenes, as well as to estimate the accuracy of every element of the outp...
متن کاملSelf - Consistency
We introduce the notion of self-consistency checking, a new methodology for applying formal methods in the debugging process. Intuitively , self-consistency checks functional consistency of a circuit in two diierent modes or environments. Self-consistency can (1) simplify property veriication and (2) enable the use of symbolic simulation in the absence of a concrete speciication. We present a c...
متن کاملConsistency Algorithms for Multi - SourceWarehouse
A warehouse is a data repository containing integrated information for eecient querying and analysis. Maintaining the consistency of warehouse data is challenging, especially if the data sources are autonomous and views of the data at the warehouse span multiple sources. Transactions containing multiple updates at one or more sources, e.g., batch updates, complicate the consistency problem. In ...
متن کاملConsistency algorithms for optimistic replication
The need for replication of information storage , with system support for maintaining consistency among the various copies, has been widely recognized. However, earlier work guaranteed that copies would be consistent by assuring that connicting updates could not occur. Such an approach decreases availability for update, often at precisely the point when availability is desired. Further, there i...
متن کاملAlgorithms for Timed Consistency Models
One of the major challenges in distributed systems is establishing consistency among replicated data in a timely fashion. While the consistent ordering of events has been extensively researched, the time span to reach a consistent state is mostly considered an effect of the chosen consistency model, rather than being considered a parameter itself. This paper argues that it is possible to give g...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computational and Graphical Statistics
سال: 1999
ISSN: 1061-8600
DOI: 10.2307/1390832