啊瓜7706942

LV1
发表了文章

orgFAQ:组织常见问题和用户问题的新数据集和分析(CS CL)

组织为用户创建了常见问题(FAQ)网页。常见问题解答用于几种情况,例如,回答用户问题。另一方面,根据定义,FAQ的内容受用户问题的影响。为了促进该领域的研究,存...

啊瓜7706942
发表了文章

演示数据编程:交互式学习标签功能的框架(CS LG)

数据编程是一种程序化的弱监督方法,可以有效地整理大规模的带标签的训练数据。但是,编写数据程序(标记功能)需要编程知识和领域专业知识。许多主题专家都没有编程能力,...

啊瓜7706942
发表了文章

从非二进制约束到二进制约束的正式验证转换(CS PL)

在约束编程社区中众所周知,任何非二进制约束满足问题(具有有限域)都可以转换为等效的二进制约束问题。隐藏变量编码是最著名的翻译之一。在本文中,我们在证明助手Coq...

啊瓜7706942
发表了文章

如何设计While循环(CS OH)

初学者发现难以掌握的“ while循环”语法结构。困难围绕着确保循环终止和学习如何正确地对突变进行排序以解决问题。实际上,这两者是交织在一起的,需要向学生传授一...

啊瓜7706942
发表了文章

具有自由数组的约束逻辑面向对象编程(CS PL)

本文讲述了约束逻辑的面向对象程序设计在面向对象的编程和约束逻辑搜索之间提供了一种有用的共生关系。以集成方式使用逻辑变量,约束,非确定性搜索和面向对象编程的能力,...

啊瓜7706942
发表了文章

使用高级可定制IP在FPGA上构建特定于应用的覆盖(CS PL)

覆盖层是虚拟的,可重新配置的架构,覆盖在物理FPGA架构之上。专用于某个应用程序或一类应用程序的覆盖图提供了快速的重新配置和最小的性能损失。通常由硬件设计人员以...

啊瓜7706942
发表了文章

HACCLE:建立安全的多方计算的生态系统(CS PL)

密码技术具有使不信任方以根本上新的方式进行协作的潜力,但是其实际实施带来了许多挑战。这种密码技术的重要一类称为安全多方计算(MPC)。为了提供一个使用更高的自动...

啊瓜7706942
发表了文章

循环迹线重建(CS DS)

跟踪重建问题是学习的一个未知的字符串x从独立的痕迹,痕迹在哪里产生的独立删除每个x一些删除概率问。在本文中,我们发起研究圆形轨迹重建,未知的字符串x是正在旋转的...

啊瓜7706942
发表了文章

在线设施分配问题的新结果和新界限(CS DS)

考虑一个在线设施分配问题,其中一组设施F={f1,f2,f3,⋯,F| F|}等容量l位于一个度量空间上,客户以在线方式一个接一个到达该空间上。在新客户ci+1...

啊瓜7706942
发表了文章

过载惩罚下的最优负载均衡需求分配(CS CY)

本文讲述到负载均衡需求分布(LBDD)的输入包括:(a)一组服务中心;(b)一套需求节点;(c)包含每对(需求节点、服务中心)分配成本的成本矩阵。此外,每个服务...

啊瓜7706942
发表了文章

独特的考试:设计完整性和公正性评估(CS CY)

在COVID-19大流行期间,教育人员在有效的课程评估中面临着前所未有的挑战,这是近年来前所未有的,转向远程在线学习。现在,代替典型的定期考试,教师必须重新考虑...

啊瓜7706942
发表了文章

字里行间的阅读:反对者的分析(CS CY)

本文讲述了内容创建者和社交网络为实施基于法律和政策的规范,例如阻止仇恨言论和用户,所做的努力推动了无限制通信平台的兴起。异议者就是最近的一个尝试,它是一种浏览器...

啊瓜7706942
加入了专栏

arxiv.org翻译专栏

1.6K 文章77 关注者
订阅了专栏

云加头条

云头条,早报资讯。云+社区的管理动态和活动公告。

338 文章1.3M 关注者
订阅了专栏

云加推荐

85 文章1.3M 关注者

个人简介

个人成就

扫码关注云+社区

领取腾讯云代金券