A Formal Proof of a Paradox Associated with Cohen’s Kappa
✍ Scribed by Matthijs J. Warrens
- Publisher
- Springer
- Year
- 2010
- Tongue
- English
- Weight
- 393 KB
- Volume
- 27
- Category
- Article
- ISSN
- 0176-4268
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
Cohen's kappa statistic is a very well known measure of agreement between two raters with respect to a dichotomous outcome. Several expressions for its asymptotic variance have been derived and the normal approximation to its distribution has been used to construct confidence intervals. However, inf
This article presents the design of a new functional 2D image segmentation algorithm by cell merging in a subdivision, its proof of total correctness, and the derivation of an optimal imperative program. The planar subdivisions are modeled by hypermaps. The formal specifications of hypermaps and seg