研究档案提供对ACM通信过去几期发表的所有研究文章的访问。
在约束满足问题(CSP)中,目标是找到特定约束条件下给定变量集的赋值。全局基数约束是一个额外的要求,它规定了多少…
隐私集成查询(Privacy Integrated Queries, PINQ)是一个可扩展的数据分析平台,旨在为底层数据集的记录提供无条件的隐私保障。PINQ的分析语言及其实现提供了…
世界各地的政府机构发布关于人口、教育、健康、犯罪和经济活动的统计信息。在美国,保护这些数据…
在日程安排和计划方面,几乎不需要什么想象力就能想出大量的问题,这些问题可以表述为约束满足问题(csp)。也就不足为奇了……