12272 search results - page 1942 / 2455 » Experimental program analysis |
159
click to vote
WWW
2010
ACM
16 years 2 months ago
2010
ACM
This paper investigates whether Web comments can be exploited for cross-media retrieval. Comparing Web items such as texts, images, videos, music, products, or personal profiles ...
180
click to vote
WWW
2010
ACM
16 years 2 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...
198
click to vote
WWW
2010
ACM
16 years 2 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...
191
click to vote
TACAS
2010
Springer
16 years 2 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...
143
click to vote
ISQED
2010
IEEE
16 years 1 months ago
2010
IEEE
— Algorithms and tools used for IC implementation do not show deterministic and predictable behaviors with input parameter changes. Due to suboptimality and inaccuracy of underly...