733 search results - page 14 / 147 » Private inference control |
CORR
2007
Springer
13 years 7 months ago
2007
Springer
We introduce ‘atomic flows’: they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomi...
TDSC
2008
13 years 7 months ago
2008
The fundamental problem for inference control in data cubes is how to efficiently calculate the lower and upper bounds for each cell value given the aggregations of cell values ove...
ENTCS
2010
13 years 2 months ago
2010
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled sess...
IV
2003
IEEE
14 years 27 days ago
2003
IEEE
This paper describes a visualisation tool, VlUM, designed to support users in scrutinising models of their interests, preferences and knowledge. We also describe MECUREO, a tool f...
AAAI
2011
12 years 7 months ago
2011
Selection bias, caused by preferential exclusion of samples from the data, is a major obstacle to valid causal and statistical inferences; it cannot be removed by randomized exper...