Spotlight Abstraction with Shade Clustering - Automatic Verification of Parameterised Systems.

Published in: TASE (2014)

Keyphrases

clustering method
information retrieval
clustering algorithm
decision trees
management system
complex systems
cluster analysis
artificial intelligence
web pages
database systems
data analysis
k means
hidden markov models
distributed systems
unsupervised learning