Sciweavers

616 search results - page 40 / 124
» An effective dynamic analysis for detecting generalized dead...
Sort
View
79
Voted
PLDI
2010
ACM
15 years 2 months ago
Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
Olatunji Ruwase, Shimin Chen, Phillip B. Gibbons, ...
ICMI
2004
Springer
235views Biometrics» more  ICMI 2004»
15 years 3 months ago
Multimodal detection of human interaction events in a nursing home environment
In this paper, we propose a multimodal system for detecting human activity and interaction patterns in a nursing home. Activities of groups of people are firstly treated as intera...
Datong Chen, Robert Malkin, Jie Yang
KDD
1998
ACM
160views Data Mining» more  KDD 1998»
15 years 1 months ago
Algorithms for Characterization and Trend Detection in Spatial Databases
1 The number and the size of spatial databases, e.g. for geomarketing, traffic control or environmental studies, are rapidly growing which results in an increasing need for spatial...
Martin Ester, Alexander Frommelt, Hans-Peter Krieg...
SIGSOFT
2005
ACM
15 years 10 months ago
Matching execution histories of program versions
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
Xiangyu Zhang, Rajiv Gupta
152
Voted
SIGMOD
2007
ACM
156views Database» more  SIGMOD 2007»
15 years 9 months ago
M-invariance: towards privacy preserving re-publication of dynamic datasets
The previous literature of privacy preserving data publication has focused on performing "one-time" releases. Specifically, none of the existing solutions supports re-pu...
Xiaokui Xiao, Yufei Tao