8828 search results - page 1562 / 1766 » Formal methods in practice |
140
click to vote
PVLDB
2010
15 years 2 months ago
2010
In this paper, we present a new record linkage approach that uses entity behavior to decide if potentially different entities are in fact the same. An entity’s behavior is extra...
130
click to vote
PVLDB
2010
15 years 2 months ago
2010
The tremendous growth of the Internet has significantly reduced the cost of obtaining and sharing information about individuals, raising many concerns about user privacy. Spatial...
127
click to vote
RAID
2010
Springer
15 years 2 months ago
2010
Springer
The insider threat against database management systems is a dangerous security problem. Authorized users may abuse legitimate privileges to masquerade as other users or to maliciou...
182
click to vote
SSPR
2010
Springer
15 years 2 months ago
2010
Springer
Mixture models have been widely used for data clustering. However, commonly used mixture models are generally of a parametric form (e.g., mixture of Gaussian distributions or GMM),...
130
click to vote
TIFS
2010
15 years 2 months ago
2010
—This paper addresses a forensic tool used to assess audio authenticity. The proposed method is based on detecting phase discontinuity of the power grid signal; this signal, refe...