BriefGPT.xyz
大模型
Ask
alpha
关键词
transitive closure
搜索结果 - 5
GFlowCausal: 用于因果发现的生成式流网络
提出了一种名为 GFlowCausal 的新方法,通过逐步添加直接边将图搜索问题转变为生成问题,从而从观测数据中学习一个有向无环图 (DAG),并使用基于可传递闭包的即插即用模块确保高效的采样,理论分析表明,此模块能够有效地保证无环特性和最
→
PDF
2 years ago
AAAI
Datalog 程序的模块化实现
本文提出一种基于模块化框架的材料化计算和维护的方法,该方法使用半朴素算法处理少数规则,同时可使用两种算法计算关系的传递闭包,实验表明,与现有的方法相比,本方法可以处理任意的 datalog 程序,而且性能也要高得多。
PDF
6 years ago
关于矩阵查询语言的表达能力
探究了基于常见矩阵操作和线性代数的矩阵操作形式语言 MATLANG 的表达能力,可以用矩阵求逆操作计算有向图的传递闭包,但不可能未经求逆操作就实现。
PDF
7 years ago
并行查询处理通信步骤
通过在具有大量服务器的大型输入数据库上计算关系查询来解决分布式计算中通信协议的瓶颈,并且在单个和多个通信步骤中建立了下限,同时其下限证明了任何算法需要 epsilon 大于等于 1-1/tau*,同时结果也蕴含了不能在 O(1)个通信步骤内
→
PDF
11 years ago
MM
紧凑逻辑程序
本论文探讨否定作为失败的两种理论之间的关系:基于程序完成和基于稳定模型或答案集。研究表明,当一个逻辑程序满足一定的语法条件 (被称为 “紧密性”) 时,它的稳定模型可以被表征为其完成模型。本研究将 “紧密性” 的定义和 Fages 的定理扩
→
PDF
21 years ago
Prev
Next