- 信息系统模型的工业与计算机科学协调
设计和开发了一种基于网络的聊天应用程序,旨在促进学生在工业界和计算机科学部门之间的沟通和交流。
- 使用系统 W 进行推理满足语法分割
本文研究了系统 W 从有条件的信仰基础中进行诱导推理,探讨了语法分裂的概念,并证明了系统 W 符合诱导推理操作的语法分裂后提出的公设。
- ICML利用独立仪器:鉴别和分布泛化
介绍了一种基于 HSIC-X 工具的因果推断方法,该方法能够在考虑隐藏共变量的情况下,利用独立性进行精确推断,并在分布变化时具有不变性和最优性。
- 连续体假设独立性的正式证明
用布尔值模型和 forcing 技术在 Lean 定理证明器中证明了连续统假设的独立性。
- 一个新的相关系数
本文回答了一个问题:是否可能定义一个与经典相关系数(如 Pearson's correlation or Spearman's correlation)一样简单的相关系数,并且能够一致估计出某种简单可解释的度量变量之间相互依赖程度的度量,满 - ICML利用不确定性的结构实现高效 Matroid 半 Bandits
本研究通过将实现优化为特定的子模最大化,并设计适应的近似程序,提供了首个可以依赖奖励结构来改善遗憾界限的有效算法。这一改进将状态 - of-the-art 的无间隙遗憾界限显著提高了 sqrt (m)/log m 倍。最后,我们证明了我们的 - 具有分析核嵌入的独立性自适应测试
提出了一种新的计算有效的依赖度量和自适应统计独立性检验方法,其特点是数据高效运行时间为线性,并且在真实基准中表现良好。
- ECCV二值深度神经网络学习哈希
这篇论文提出了一种深度网络模型和学习算法,用于无监督和监督二进制哈希,通过约束单个隐藏层直接输出二进制代码,并在学习中严格考虑独立性和平衡性,以及相似性保持属性,从而在三个基准数据集上比先前方法表现更佳。
- 大规模核方法独立性检验
本文通过对大规模核逼近方法的研究,对比块状、Nystrom 和随机 Fourier 特征方法的性能,展示了这些新型的大规模方法在独立性检验中具有与现有方法相当的性能,但使用的计算时间和内存显著减少。
- 估计均值和方差的多元切比雪夫不等式
本文将所熟知的 Chebyshev 不等式的变量扩展到多维情况,并表明只需样本独立且相同分布即可。随着样本数量趋向于无穷大,本文所推导的不等式也趋近于理论上的多维 Chebyshev 界限。
- AAAI通过交换性实现可处理性:高效概率推断的新视角
论文研究了有限可交换性及其与可计算概率推断的关系,并指出现有的升级推理算法隐含着条件独立和部分可交换性的结合。
- 贝叶斯球:用于信念网络和影响图中确定不相关和必要信息的理性娱乐
本研究介绍了一种新的简单高效的贝叶斯球算法,可用于信任网络和影响图,用于确定无关集和所需信息,具有比现有方法更高的效率,大小线性关系。
- 命题独立 - 公式变量独立和遗忘
本文研究了基于推理问题的相关性,探讨了语法和语义两种基本独立性形式,并讨论了它们的特点和缺陷,同时考虑了遗忘问题,提出了一种基于简化推理的知识库提取方法。