3319 search results - page 22 / 664 » Type Theoretical Databases |
68
Voted
TYPES
2000
Springer
15 years 1 months ago
2000
Springer
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic ru...
BTW
2009
Springer
15 years 4 months ago
2009
Springer
69
Voted
DATAMINE
2011
14 years 1 months ago
2011
171
click to vote
ICDE
2006
IEEE
15 years 11 months ago
2006
IEEE
We propose a framework, called MIC, which adopts an information-theoretic approach to address the problem of quantitative association rule mining. In our MIC framework, we first d...
103
click to vote
CRYPTO
2008
Springer
14 years 11 months ago
2008
Springer
The goal of a statistical database is to provide statistics about a population while simultaneously protecting the privacy of the individual records in the database. The tension be...