A Formal Algorithm for Verifying the Validity of Clustering Results Based on Model Checking

Abstract

The limitations in general methods to evaluate clustering will remain difficult to overcome if verifying the clustering validity continues to be based on clustering results and evaluation index values. This study focuses on a clustering process to analyze crisp clustering validity. First, we define the properties that must be satisfied by valid clustering… (More)
DOI: 10.1371/journal.pone.0090109

Topics

19 Figures and Tables

Cite this paper

@inproceedings{Huang2014AFA, title={A Formal Algorithm for Verifying the Validity of Clustering Results Based on Model Checking}, author={Shaobin Huang and Yuan Cheng and Dapeng Lang and Ronghua Chi and Guofeng Liu}, booktitle={PloS one}, year={2014} }