Sciweavers

798 search results - page 35 / 160
» Engineering graph clustering: Models and experimental evalua...
Sort
View
SAS
2009
Springer
212views Formal Methods» more  SAS 2009»
16 years 6 months ago
The Causal Graph Revisited for Directed Model Checking
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
Martin Wehrle, Malte Helmert
SOFTVIS
2010
ACM
15 years 3 months ago
Dependence cluster visualization
Large clusters of mutual dependence have long been regarded as a problem impeding comprehension, testing, maintenance, and reverse engineering. An effective visualization can aid ...
Syed S. Islam, Jens Krinke, David Binkley
ICAS
2009
IEEE
126views Robotics» more  ICAS 2009»
16 years 22 days ago
Self-Adaptive Techniques for the Load Trend Evaluation of Internal System Resources
Modern distributed systems that have to avoid performance degradation and system overload require several runtime management decisions for load balancing and load sharing, overloa...
Sara Casolari, Michele Colajanni, Stefania Tosi
TKDE
2011
280views more  TKDE 2011»
15 years 28 days ago
Locally Consistent Concept Factorization for Document Clustering
—Previous studies have demonstrated that document clustering performance can be improved significantly in lower dimensional linear subspaces. Recently, matrix factorization base...
Deng Cai, Xiaofei He, Jiawei Han
139
Voted
ACL
2004
15 years 7 months ago
Chinese Verb Sense Discrimination Using an EM Clustering Model with Rich Linguistic Features
This paper discusses the application of the Expectation-Maximization (EM) clustering algorithm to the task of Chinese verb sense discrimination. The model utilized rich linguistic...
Jinying Chen, Martha Stone Palmer