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

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...

Descripción completa

Detalles Bibliográficos
Autores principales: Huang, Shaobin, Cheng, Yuan, Lang, Dapeng, Chi, Ronghua, Liu, Guofeng
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Public Library of Science 2014
Materias:
Research Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3946478/
https://www.ncbi.nlm.nih.gov/pubmed/24608823
http://dx.doi.org/10.1371/journal.pone.0090109

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3946478/
https://www.ncbi.nlm.nih.gov/pubmed/24608823
http://dx.doi.org/10.1371/journal.pone.0090109

Ejemplares similares