2014
DOI: 10.1371/journal.pone.0090109
|View full text |Cite
|
Sign up to set email alerts
|

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 processes and model clustering processes based on program graphs and transition systems. We then recast the analysis of clustering validity as the problem of… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
6
0

Year Published

2019
2019
2024
2024

Publication Types

Select...
4
2

Relationship

0
6

Authors

Journals

citations
Cited by 6 publications
(6 citation statements)
references
References 31 publications
0
6
0
Order By: Relevance
“…42 If the purity value is equal to 0, the quality of the clustering is poor; if the purity value is equal to 1, the quality of the clustering is excellent. 43 When the purity values are within the ranges of >0.8, ≤ 0.8, > 0.5, and ≤0.5, the corresponding methods are categorized into those with superior, good, and poor performance, respectively. Criterion Cb: Consistency of Metabolic Markers Identified in Different Subgroups.…”
Section: Comprehensive Collection Of Methods For Metabolicmentioning
confidence: 99%
“…42 If the purity value is equal to 0, the quality of the clustering is poor; if the purity value is equal to 1, the quality of the clustering is excellent. 43 When the purity values are within the ranges of >0.8, ≤ 0.8, > 0.5, and ≤0.5, the corresponding methods are categorized into those with superior, good, and poor performance, respectively. Criterion Cb: Consistency of Metabolic Markers Identified in Different Subgroups.…”
Section: Comprehensive Collection Of Methods For Metabolicmentioning
confidence: 99%
“…Therefore, the biomarker discovery method used for identifying markers was considered to be performing well. Third, a well-established measure ( purity ) was calculated based on eq and selected to assess the clustering of different classes. , p u r i t y = i = 1 K 1 N max j ( n i j ) …”
Section: Methodsmentioning
confidence: 99%
“…Third, a well-established measure (purity) was calculated based on eq 1 and selected to assess the clustering of different classes. 23,24…”
Section: Collection Of Multiple Criteria For Comprehensive Assessment...mentioning
confidence: 99%
“…Distance determines whether an object should be included in a specific cluster. Previous studies have proposed and used various distances, some of which are Euclidean, Manhattan, and dynamic time warping (DTW) [19][20][21].…”
Section: Similarity Distancementioning
confidence: 99%
“…where k is the number of the formed clusters, p is the number of variables, a y is the values of the a-th object, j y is the mean of the j-th object, ij y is the mean of the j-th object in the i-th cluster, j n is the number of j-th objects, and ij n is the number of j-th object in the i-th cluster [21].…”
Section: Clustering Evaluationmentioning
confidence: 99%