Sciweavers

9842 search results - page 1508 / 1969
» Compositional timing analysis
Sort
View
VMCAI
2010
Springer
16 years 2 months ago
Advances in Probabilistic Model Checking
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
Joost-Pieter Katoen
PAKDD
2009
ACM
209views Data Mining» more  PAKDD 2009»
16 years 2 months ago
Approximate Spectral Clustering.
Spectral clustering refers to a flexible class of clustering procedures that can produce high-quality clusterings on small data sets but which has limited applicability to large-...
Christopher Leckie, James C. Bezdek, Kotagiri Rama...
132
Voted
SDM
2009
SIAM
152views Data Mining» more  SDM 2009»
16 years 2 months ago
Non-negative Matrix Factorization, Convexity and Isometry.
In this paper we explore avenues for improving the reliability of dimensionality reduction methods such as Non-Negative Matrix Factorization (NMF) as interpretive exploratory data...
Nikolaos Vasiloglou, Alexander G. Gray, David V. A...
SDM
2009
SIAM
152views Data Mining» more  SDM 2009»
16 years 2 months ago
Multiple Kernel Clustering.
Maximum margin clustering (MMC) has recently attracted considerable interests in both the data mining and machine learning communities. It first projects data samples to a kernel...
Bin Zhao, James T. Kwok, Changshui Zhang
SDM
2009
SIAM
193views Data Mining» more  SDM 2009»
16 years 2 months ago
Agglomerative Mean-Shift Clustering via Query Set Compression.
Mean-Shift (MS) is a powerful non-parametric clustering method. Although good accuracy can be achieved, its computational cost is particularly expensive even on moderate data sets...
Xiaotong Yuan, Bao-Gang Hu, Ran He
« Prev « First page 1508 / 1969 Last » Next »