961 search results - page 157 / 193 » Significance-Driven Graph Clustering |
KBSE
2003
IEEE
15 years 7 months ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...
JSAI
2001
Springer
15 years 6 months ago
2001
Springer
The small world topology is known widespread in biological, social and man-made systems. This paper shows that the small world structure also exists in documents, such as papers. A...
134
click to vote
SEKE
2001
Springer
15 years 6 months ago
2001
Springer
Source code analysis and inspection does not provide enough information to describe the structure of an objectoriented program completely because there are components and relation...
110
click to vote
PARELEC
2000
IEEE
15 years 6 months ago
2000
IEEE
The purpose of this paper is to demonstrate the implementation of an adaptable parallel architecture capable of system to task adaptation. The system implementation was based on X...
116
click to vote
BMCV
2000
Springer
15 years 6 months ago
2000
Springer
We here describe a view-based system for the pose-independent representation of objects without making reference to 3-D models. Input to the system is a collection of pictures cov...