Donuts_choco

LV2
发表了文章

开放引文数据模型(cs.DL)

各种架构和本体目前用于书目实体和引文的机器可读描述。这种多样性,以及对具有不同细微差别的相同本体术语的重用,在数据中会产生不一致。采用单个数据模型将有助于数据集...

Donuts_choco
发表了文章

具有魔力感的正式方法(cs.LO)

机器学习和正式方法有互为补充的优点和缺点。在这项工作中,我们结合两个领域的技术来解决控制器设计问题。在深度强化学习(深度RL)中使用黑盒神经网络对这种组合提出了...

Donuts_choco
发表了文章

循环神经网络的快速有效的健壮性认证(cs.LG)

我们为循环神经网络(称为 R2)提供精确且可扩展的验证器。验证器基于两个核心思路:(i) 通过采样和优化计算循环更新函数的紧密线性凸松弛的方法,以及 (ii) ...

Donuts_choco
发表了文章

以理性观点重新思考对话状态跟踪(cs.AI)

跟踪对话状态以更好地解释用户意图并充实随之产生的策略学习是对话管理的瓶颈。常见的做法是将对话内容分类为一组预定义的槽值对,或根据对话历史记录为不同插槽生成值的问...

Donuts_choco
发表了文章

人工智能取证:人工智能系统做到了吗?为什么?(cs.AI)

AI 系统以越来越自主的方式做出影响我们日常生活的决策。他们的行为可能导致事故、伤害,或者更一般地来讲:违反法规 -- -- 无论是有意的还是无意的。因此,AI...

Donuts_choco
发表了文章

知识科学家:解锁数据驱动的组织结构(cs.DB)

所有部门的组织正日益向数据驱动型运营进行深层次的转型和重组。数据的核心问题在于对可靠和干净的数据的需求。不可靠、错误和不完整的数据会导致管道处理中的重点瓶颈,并...

Donuts_choco
发表了文章

私人5G:工业无线的未来(cs.NI)

高性能无线通信在工业 4.0 和工业互联网计划推动的工业系统数字化转型中至关重要。在各类工业无线技术中,5G(蜂窝/移动)具有巨大潜力。在工业环境中运行私有(非...

Donuts_choco
发表了文章

小团体合作--最佳运输方法(cs.GT)

如果代理仅在某些边界大小的小组内进行合作,是否有办法将总体划分为小组,这样,任何代理集合都无法通过组建新组来进行优化?本文在可转移的实用程序设置中重新审视了 f...

Donuts_choco
发表了文章

修改后的谢林游戏(cs.GT)

我们介绍了修改后的 Schelling 游戏类,其中有不同类型的代理占用位置图的节点;同一类型的代理是朋友,不同类型的代理是敌人。每个代理都有一定的战略,会跳到...

Donuts_choco
发表了文章

有多少自由人?度量空间中的一致投票机制(cs.GT)

我们研究一个社会团体的演变,并且进入这个群体是通过协商一致或一致投票决定的。在每个时间段内,会有两名候选人申请成员资格,只有在所有当前团队成员都同意时,当前候选...

Donuts_choco
发表了文章

将机器学习并行化为最终用户服务(cs.DC)

随着 ML 应用程序变得越来越普遍,经过全面培训的系统越来越多地提供给广大公众,允许最终用户使用自己的数据提交查询,并高效地检索结果。随着此类服务的日益成熟,新...

Donuts_choco
发表了文章

使用假设协助调试(cs.SE)

在开发人员调试时,开发人员会对故障原因做一定的假设,并收集证据来测试这些假设。为了更好地理解假设在调试中的作用,我们进行了两项研究。在一项初步研究中,我们发现,...

Donuts_choco
发表了文章

机器人对话和导航任务的学习和推理(cs.AI)

强化学习和概率推理算法旨在分别从互动体验和概率语境知识中学习推理。在本研究中,我们开发了机器人任务完成算法,同时研究了强化学习和概率推理技术的辅助优势。机器人从...

Donuts_choco
发表了文章

为 UCCA 优化隐式参数注释(cs.CL)

很少有资源代表自然语言理解的隐含角色,而 NLP 中的现有研究只是粗略地区分了语言形式中省略的参数类别。在本文中,我们设计了一个类型学,用于在通用概念认知注释的...

Donuts_choco
发表了文章

调整肾脏交换算法以符合人为要求 (cs.AI)

有限资源的高效、合理配置是经济学和计算机科学中的一个经典问题。在肾脏交换中,一个中央市场制造商将活体肾脏捐献者分配给需要器官的病人。肾脏交换中的患者和捐赠者使用...

Donuts_choco
发表了文章

结合专家的因果判断(cs.AI)

考虑一个决策者,他想要决定采取哪种干预措施,以改变目前不受欢迎的情况。决策者有一个专家小组,每个专家团队都了解促成结果的不同因素之间的因果关系。决策者对专家的意...

Donuts_choco
发表了文章

数学形式化语言调查 (cs.LO)

为了在计算机系统中处理数学内容,有必要用正式语言来表示它。理想情况下,会有工具可验证表示内容的正确性,从而可以使用内容进行计算,并生成人类可读的文档。这些目标很...

Donuts_choco
发表了文章

针对全球健康设计的人工智能:从医疗保健数字化转型十年中学习知识(cs.CY)

生活在资源有限的环境中的人的健康需求是机器学习 (ML) 和医疗保健交汇领域中一个不容忽视和研究不足的部分。虽然近年来,随着深度学习的进步,ML在卫生保健中的使...

Donuts_choco
发表了文章

通过嵌入关系数据库洞察纽约市犯罪(cs.DB)

本文演示了使用 AI 支持数据库 (AI-DB) 识别犯罪数据中不可察觉的模式,这些模式有助于采取预测性警务措施。AI-DB 使用无监督神经网络 db2Vec ...

Donuts_choco
发表了文章

高维数据的一致且灵活的选择性估计(cs.LG)

选择性估计旨在估计满足选择标准的数据库对象的数量。准确高效地回答这个问题对于密度估计、异常值检测、查询优化和数据集成等应用至关重要。估计问题对于大规模高维数据尤...

Donuts_choco

个人简介

个人成就

扫码关注云+社区

领取腾讯云代金券