用户8380959

LV2
发表了文章

通过约束重写归纳验证程序程序(CS)

本文旨在通过将程序转换为逻辑约束术语重写系统(LCTRS),开发一种程序程序的验证方法。为此,我们扩展了基于整数TRS的转换方法,以处理任意数据类型,全局变量,...

用户8380959
发表了文章

一阶形成规则(CS)

本文讨论了用于一阶术语重写的形成规则的方法,该方法先前是为高阶设置定义的。相对于众所周知的可用规则,形成规则允许删除一些在终止证明期间需要解决的术语约束。与高阶...

用户8380959
发表了文章

代数功能系统的动态依赖对(CS)

我们将动态依赖对的高阶终止方法扩展到代数功能系统(AFS)。在这种情况下,将考虑具有代数归约和单独的β步的简单键入的lambda项。对于左线性AFS,该方法显示...

用户8380959
发表了文章

高阶重写的多项式解释(CS)

在HRS形式主义中为高阶重写定义的弱单调代数的终止方法提供了强大的功能,但近年来却很少使用。我们将这种方法改编并扩展到代数功能系统的替代形式主义,其中简单类型的...

用户8380959
发表了文章

高阶无损翻译(CS)

如果在规则的rhs中出现的任何构造函数项必须是规则的lhs的子项,则构造函数重写系统被认为是无缺点的。大致上,这样的系统在评估过程中无法建立新的数据结构。在几位...

用户8380959
发表了文章

非确定性特征(CS)

在本文中,我们将Jones的结果扩展到一个更通用的设置,包括模式匹配和非确定性选择,即使用k阶数据进行无损编程,并通过EXP-TIME值表征EXPkTIME。我...

用户8380959
发表了文章

具有不变功能的无缺点编程(CS)

我们研究具有高阶类型的纯函数式编程语言中非确定性的力量。具体来说,我们着眼于仅根据更高类型的纯功能程序来描述NP⊆NEXP⊆NEXP(2)⊆⋯⊆NEXP(k)h...

用户8380959
发表了文章

h:高阶属性压缩方案的木板(CS)

我们介绍并形式化h(一种核心(或“木板”)演算),可以作为几种编译器规范语言的基础,尤其是CRSX(带扩展的组合归约系统),HACS(高阶属性压缩方案)和Tra...

用户8380959
发表了文章

统一的高阶依赖对框架(CS)

近年来,已经定义了用于一阶项重写终止分析的强大依赖对方法的两个高阶扩展:静态方法和动态方法。两种方法都有明显的优缺点。但是,至今还没有一个大的统一理论,并且这两...

用户8380959
发表了文章

静态高阶依赖对框架(CS)

我们重新审视用于证明高阶术语重写终止的静态依赖对方法,并以多种方式对其进行扩展:(1)我们引入了一种新的重写形式主义,旨在普遍适用于高阶术语重写终止证明,即代数...

用户8380959
发表了文章

多态高阶终止(CS)

我们将高阶多项式解释的终止方法推广到具有强制多态性的设置。代替使用弱单调的函数,我们在System F-omega的适当扩展中解释术语。这样就可以直接解释重写规...

用户8380959
发表了文章

高阶重写的元组解释(CS)

我们为考虑类型信息的多种分类和高阶术语重写系统开发了一类代数解释。具体而言,将基本类型项映射到自然数的\ emph {tuples},将高阶项映射到这些元组之间...

用户8380959
发表了文章

超参数化方案中的分类与回归:损失函数重要吗?(CS)

我们在具有高斯特征的超参数化线性模型中比较分类和回归任务。一方面,我们表明,通过足够的超参数化,所有训练点都是支持向量:通过最小二乘最小范数插值获得的解决方案(...

用户8380959
发表了文章

确保培训数据以外的公平(CS)

我们开始研究对训练分布中的扰动具有鲁棒性的公平分类器。尽管有最新进展,但有关公平性的文献在很大程度上忽略了公平和稳健的分类器的设计。在这项工作中,我们开发的分类...

用户8380959
发表了文章

DinerDash体育馆:高维行动空间中政策学习的基准(CS)

由于缺乏公认的基准,在具有高维动作空间的分层任务领域中评估策略学习算法的进展一直很艰巨。在这项工作中,我们提出了一个新的轻量级基准任务,称为Diner Dash...

用户8380959
发表了文章

对比学习,多视图冗余和线性模型(CS)

自我监督学习是一种基于经验的,成功的方法,它基于创建人为的监督学习问题来进行无监督学习。对比学习是一种流行的自我监督方法,它是对比学习,它利用自然发生的相似和不...

用户8380959
发表了文章

关于高维支持向量的扩散(CS)

支持向量机(SVM)是一种公认​​的分类方法,其名称指的是特定的训练示例(称为支持向量),它们确定了分离超平面的最大余量。当支持向量的数量比训练示例的数量少时,...

用户8380959
发表了文章

通过转移稀疏教师以最少的资源进行跨语言文本分类(CS)

跨语言文本分类通过利用其他语言的带标签文档减轻了对使用目标语言的带标签文档的需求。现有的跨语言转移监管的方法需要昂贵的跨语言资源,例如并行语料库,而成本较低的跨...

用户8380959
发表了文章

MAGIC:使用Generator-Critic学习用于在线POMDP规划的宏动作(CS)

当机器人在现实世界中运行时,他们需要处理感测,行为和环境动态方面的不确定性。许多任务还需要对机器人决策的长期后果进行推理。部分可观察的马尔可夫决策过程(POMD...

用户8380959
发表了文章

在大规模混合城市交通中模拟自动驾驶(CS)

在不受管制的城市人群中进行自动驾驶是一项艰巨的挑战,尤其是在有许多积极进取的高速交通参与者的情况下。本文介绍了SUMMIT,这是一种高保真模拟器,可促进人群驾驶...

用户8380959

个人简介

个人成就

扫码关注云+社区

领取腾讯云代金券