5758 search results - page 21 / 1152 » Anonymity-preserving data collection |
DT
2000
13 years 7 months ago
2000
Research on practical design verification techniques has long been impeded by the lack of published and yet detailed error data. Over the last few years we have systematically coll...
ISI
2006
Springer
13 years 7 months ago
2006
Springer
This work investigates the accuracy and efficiency tradeoffs between centralized and collective (distributed) algorithms for (i) sampling, and (ii) n-way data analysis techniques i...
ITP
2010
13 years 11 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
ICDM
2007
IEEE
13 years 11 months ago
2007
IEEE
Active inference seeks to maximize classification performance while minimizing the amount of data that must be labeled ex ante. This task is particularly relevant in the context o...
MSS
1999
IEEE
13 years 11 months ago
1999
IEEE
The supercomputer center, digital library, and archival storage communities have common persistent archival storage requirements. Each of these communities is building software in...