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

Open Access

Peer-reviewed

Research Article

Shaobin Huang,

Affiliation College of Computer Science and Technology, Harbin Engineering University, Harbin, P. R. China
⨯
Yuan Cheng ,

* E-mail: changuang7@sina.com

Affiliation College of Computer Science and Technology, Harbin Engineering University, Harbin, P. R. China
⨯
Dapeng Lang,

Affiliation College of Computer Science and Technology, Harbin Engineering University, Harbin, P. R. China
⨯
Ronghua Chi,

Affiliation College of Computer Science and Technology, Harbin Engineering University, Harbin, P. R. China
⨯
Guofeng Liu

Affiliation College of Computer Science and Technology, Harbin Engineering University, Harbin, P. R. China
⨯

Reader Comments (0)

Clustering algorithms
Is the Subject Area "Clustering algorithms" applicable to this article?

Thanks for your feedback.
Graphs
Is the Subject Area "Graphs" applicable to this article?

Thanks for your feedback.
Machine learning algorithms
Is the Subject Area "Machine learning algorithms" applicable to this article?

Thanks for your feedback.
Algorithms
Is the Subject Area "Algorithms" applicable to this article?

Thanks for your feedback.
Entropy
Is the Subject Area "Entropy" applicable to this article?

Thanks for your feedback.
Computer software
Is the Subject Area "Computer software" applicable to this article?

Thanks for your feedback.
Hierarchical clustering
Is the Subject Area "Hierarchical clustering" applicable to this article?

Thanks for your feedback.
Ontologies
Is the Subject Area "Ontologies" applicable to this article?

Thanks for your feedback.