1981 search results - page 172 / 397 » Model-Checking Hierarchical Structures |
TASLP
2008
14 years 10 months ago
2008
Many current state-of-the-art speaker diarization systems exploit agglomerative hierarchical clustering (AHC) as their speaker clustering strategy, due to its simple processing str...
MICS
2010
14 years 8 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
98
Voted
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
A collaborative framework for detecting the different sources in mixed signals is presented in this paper. The approach is based on CHiLasso, a convex collaborative hierarchical s...
125
click to vote
BMCBI
2011
14 years 1 months ago
2011
Background: Discovering the genetic basis of common genetic diseases in the human genome represents a public health issue. However, the dimensionality of the genetic data (up to 1...
119
click to vote
ICDCS
2012
IEEE
13 years 18 days ago
2012
IEEE
Operational network data, management data such as customer care call logs and equipment system logs, is a very important source of information for network operators to detect prob...