Sciweavers

1856 search results - page 164 / 372
» cluster 2008
Sort
View
ENTCS
2008
134views more  ENTCS 2008»
15 years 6 months ago
A Stack-Slicing Algorithm for Multi-Core Model Checking
The broad availability of multi-core chips on standard desktop PCs provides strong motivation for the development of new algorithms for logic model checkers that can take advantag...
Gerard J. Holzmann
174
Voted
VIS
2008
IEEE
204views Visualization» more  VIS 2008»
16 years 7 months ago
Surface Extraction from Multi-field Particle Volume Data Using Multi-dimensional Cluster Visualization
Data sets resulting from physical simulations typically contain a multitude of physical variables. It is, therefore, desirable that visualization methods take into account the enti...
Lars Linsen, Tran Van Long, Paul Rosenthal, Ste...
TRECVID
2007
15 years 7 months ago
Summarizing BBC Rushes the Informedia Way
For the first time in 2007, TRECVID considered structured evaluation of automated video summarization, utilizing BBC rushes video. This paper discusses in detail our approaches fo...
Alexander G. Hauptmann, Michael G. Christel, Wei-H...
AAAI
2008
15 years 8 months ago
Clustering via Random Walk Hitting Time on Directed Graphs
In this paper, we present a general data clustering algorithm which is based on the asymmetric pairwise measure of Markov random walk hitting time on directed graphs. Unlike tradi...
Mo Chen, Jianzhuang Liu, Xiaoou Tang
LISA
2008
15 years 8 months ago
Sysman: A Virtual File System for Managing Clusters
Sysman is a system management infrastructure for clusters and data centers similar to the /proc file system. It provides a familiar yet powerful interface for the management of se...
Mohammad Banikazemi, David Daly, Bülent Abali