15644 search results - page 2653 / 3129 » Brittle System Analysis |
182
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
In this demo, we present a system called iRIN designed for performing image retrieval in image-rich information networks. We first introduce MoK-SimRank to significantly improve...
177
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
In this paper we study the community structure of endorsement networks, i.e., social networks in which a directed edge u → v is asserting an action of support from user u to use...
194
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
We propose a novel method, based on concepts from expander graphs, to sample communities in networks. We show that our sampling method, unlike previous techniques, produces subgra...
194
click to vote
WISEC
2010
ACM
16 years 1 months ago
2010
ACM
As privacy moves to the center of attention in networked systems, and the need for trust remains a necessity, an important question arises: How do we reconcile the two seemingly c...
188
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...