319 search results - page 17 / 64 » Precise Dynamic Slicing Algorithms |
WWW
2008
ACM
14 years 8 months ago
2008
ACM
We discover communities from social network data, and analyze the community evolution. These communities are inherent characteristics of human interaction in online social network...
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
This paper introduces a level set methodology for the precise boundary localization of image objects within an indicated region, designed to be particularly robust against weak or...
ICDE
2009
IEEE
14 years 2 months ago
2009
IEEE
— We present SMART, a self-tuning, bandwidth-aware monitoring system that maximizes result precision of continuous aggregate queries over dynamic data streams. While prior approa...
ATVA
2008
Springer
13 years 9 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
CRYPTO
2011
Springer
12 years 7 months ago
2011
Springer
Strong lattice reduction is the key element for most attacks against lattice-based cryptosystems. Between the strongest but impractical HKZ reduction and the weak but fast LLL redu...