Sciweavers

503 search results - page 22 / 101
» An Independence Relation for Sets of Secrets
Sort
View
ECAI
2008
Springer
13 years 10 months ago
Privacy-Preserving Query Answering in Logic-based Information Systems
Abstract. We study privacy guarantees for the owner of an information system who wants to share some of the information in the system with clients while keeping some other informat...
Bernardo Cuenca Grau, Ian Horrocks
ICFP
2010
ACM
13 years 9 months ago
The impact of higher-order state and control effects on local relational reasoning
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
Derek Dreyer, Georg Neis, Lars Birkedal
SIGMOD
2005
ACM
138views Database» more  SIGMOD 2005»
14 years 8 months ago
QPipe: A Simultaneously Pipelined Relational Query Engine
Relational DBMS typically execute concurrent queries independently by invoking a set of operator instances for each query. To exploit common data retrievals and computation in con...
Stavros Harizopoulos, Vladislav Shkapenyuk, Anasta...
NIPS
2008
13 years 10 months ago
Grouping Contours Via a Related Image
Contours have been established in the biological and computer vision literature as a compact yet descriptive representation of object shape. While individual contours provide stru...
Praveen Srinivasan, Liming Wang, Jianbo Shi
BMCBI
2010
96views more  BMCBI 2010»
13 years 8 months ago
sdef: an R package to synthesize lists of significant features in related experiments
Background: In microarray studies researchers are often interested in the comparison of relevant quantities between two or more similar experiments, involving different treatments...
Marta Blangiardo, Alberto Cassese, Sylvia Richards...