2686 search results - page 228 / 538 » Testing metric properties |
188
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
160
click to vote
AUSAI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Spectral co-clustering is a generic method of computing coclusters of relational data, such as sets of documents and their terms. Latent semantic analysis is a method of ...
163
click to vote
CSC
2008
15 years 8 months ago
2008
Complex network models such as Kauffman's NK model have been shown to have interesting phase transitional properties as the connectivity is varied. Conventional network and g...
148
click to vote
LREC
2008
15 years 8 months ago
2008
We present a study of the word interaction networks of Bengali in the framework of complex networks. The topological properties of these networks reveal interesting insights into ...
195
click to vote
ESANN
2006
15 years 8 months ago
2006
Topology preservation of Self-Organizing Maps (SOMs) is an advantageous property for correct clustering. Among several existing measures of topology violation, this paper studies t...