acm-header
登录

ACM通信

研究档案


档案

研究档案提供对ACM通信过去几期发表的所有研究文章的访问。

2010年9月


选自ACM通信

约束满足问题与全局基数约束

约束满足问题与全局基数约束

在约束满足问题(CSP)中,目标是找到特定约束条件下给定变量集的赋值。全局基数约束是一个额外的要求,它规定了多少…


选自ACM通信

隐私集成查询:隐私保护数据分析的可扩展平台

隐私综合查询

隐私集成查询(Privacy Integrated Queries, PINQ)是一个可扩展的数据分析平台,旨在为底层数据集的记录提供无条件的隐私保障。PINQ的分析语言及其实现提供了…


选自ACM通信

技术视角:具有差别隐私性的编程

世界各地的政府机构发布关于人口、教育、健康、犯罪和经济活动的统计信息。在美国,保护这些数据…


选自ACM通信

技术视角:约束满足问题和计算复杂性

在日程安排和计划方面,几乎不需要什么想象力就能想出大量的问题,这些问题可以表述为约束满足问题(csp)。也就不足为奇了……

Baidu
map