3922 search results - page 403 / 785 » Working Models for Uncertain Data |
126
Voted
B
2007
Springer
15 years 9 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
129
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
Contracting out government services, especially IT services, has accelerated in recent years in the United States. Based on literature in privatization and contracting out, the au...
121
click to vote
CSB
2002
IEEE
15 years 8 months ago
2002
IEEE
Analyzing protein sequence data becomes increasingly important recently. Most previous work on this area has mainly focused on building classification models. In this paper, we i...
134
Voted
POPL
1999
ACM
15 years 7 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
171
Voted
KDD
1999
ACM
15 years 7 months ago
1999
ACM
It has been claimed that the discovery of association rules is well-suited for applications of market basket analysis to reveal regularities in the purchase behaviour of customers...