Sciweavers

4106 search results - page 223 / 822
» A Computational Model for Metric Spaces
Sort
View
ICAC
2009
IEEE
16 years 1 months ago
Ranking the importance of alerts for problem determination in large computer systems
The complexity of large computer systems has raised unprecedented challenges for system management. In practice, operators often collect large volume of monitoring data from system...
Guofei Jiang, Haifeng Chen, Kenji Yoshihira, Akhil...
ICECCS
2010
IEEE
161views Hardware» more  ICECCS 2010»
15 years 6 months ago
Model Checking Round-Based Distributed Algorithms
—In the field of distributed computing, there are many round-based algorithms to solve fundamental problems, such as leader election and distributed consensus. Due to the nature...
Xin An, Jun Pang
PADL
2004
Springer
15 years 12 months ago
Pruning in the Extended Andorra Model
One of the major problems that actual logic programming systems have to address is whether and how to prune undesirable parts of the search space. A region of the search space woul...
Ricardo Lopes, Vítor Santos Costa, Fernando...
ICASSP
2011
IEEE
14 years 10 months ago
A novel vector quantization-based video summarization method using independent component analysis mixture model
In this paper, we present a new independent component analysis mixture vector quantization (ICAMVQ) method to summarize the video content. In particular, independent component ana...
Junfeng Jiang, Xiao-Ping Zhang
CORR
2010
Springer
135views Education» more  CORR 2010»
15 years 6 months ago
Information Distance
While Kolmogorov complexity is the accepted absolute measure of information content in an individual finite object, a similarly absolute notion is needed for the information distan...
Charles H. Bennett, Péter Gács, Ming...