3708 search results - page 326 / 742 » Approximating Betweenness Centrality |
169
Voted
DILS
2004
Springer
16 years 2 days ago
2004
Springer
Taxonomists classify biological specimens into groups (taxa) on the basis of similarities between their observed features ('characters'). The description of these 'c...
170
click to vote
ECOOP
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
191
click to vote
FPGA
2004
ACM
16 years 2 days ago
2004
ACM
In this paper, an efficient implementation of a high performance coarse-grain reconfigurable data-path on a mixed-granularity reconfigurable platform is presented. It consists of ...
193
click to vote
LATIN
2004
Springer
16 years 1 days ago
2004
Springer
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
122
click to vote
MDM
2004
Springer
16 years 1 days ago
2004
Springer
This paper studies a heterogeneous multiple channel environment (HMCE), in which the channels are controlled by different wireless operators. To the best of our knowledge, there i...