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...
Main Authors: | Shaobin Huang, Yuan Cheng, Dapeng Lang, Ronghua Chi, Guofeng Liu |
---|---|
Format: | Article |
Language: | English |
Published: |
Public Library of Science (PLoS)
2014-01-01
|
Series: | PLoS ONE |
Online Access: | http://europepmc.org/articles/PMC3946478?pdf=render |
Similar Items
-
Formally verifying Kyber
by: José Bacelar Almeida, et al.
Published: (2023-06-01) -
Verifying linearizability via optimized refinement checking
by: Dong, Jin Song, et al.
Published: (2013) -
Formally Verifying Imperative Programs
by: Correia, J, et al.
Published: (2007) -
Formally Verifying a Programmable Network Switch
by: Liu, Jiazheng
Published: (2024) -
Verifying Team Formation Protocols with Probabilistic Model Checking
by: Chen, T, et al.
Published: (2011)