- 数据库增强的信息检索查询表示
利用关系数据库中的元数据和图形集编码策略,我们提出了一种改进了查询性能的检索框架,用于扩展查询并增强信息检索模型。
- 数据库嵌入的步行方案选择
研究了在数据分析中将结构化数据的组件嵌入到高维向量空间的过程,重点研究了用于动态数据库中的元组嵌入的 FoRWaRD 算法,通过选择几个信息丰富的行走方案,可以更快地获得高质量的嵌入,并在多个下游任务中取得了高性能。
- IJCAI使用神经演绎程序综合从文档图像中进行一次性信息提取
采用两级神经推理方法和预训练深度神经网络,通过逻辑推理来学习实体和关系,生成抽取方案,从而解决发票、帐单、收据等文档图像信息提取的问题。
- IJCAI计算社会选择与数据库相遇
该研究开发出一种新框架,使得计算社会选择与数据库管理之间的联系更紧密,从而使得针对选票规则、候选人、选民、问题和立场的复杂查询能够得到支持,并且研究了相应的计算复杂度。
- MM星系形成的 EAGLE 模拟:公开发布晕和星系目录
该研究呈现了宇宙学模拟中天体和星系目录的公共数据,包括次网格模型和合并树等内容,旨在研究星系形成和演化的细节。
- 验证关系型数据中心动态系统与外部服务
本文研究基于关系型数据中心动态系统的(一阶)μ 演算验证,展示了在一些特殊情况下可决定性成立,并提供了一些避免不可决情况的句法条件,构建了一些注意到每个服务调用激活会生成新值的新概念以避免无限积累问题。
- 本体查询:重写与优化 (扩展版)
本文研究了本体查询中的查询重写和查询优化问题,其中查询重写包括将本体查询编译为与底层关系型数据库等效的查询,查询优化旨在改善此过程以生成成本效益高的 UCQ 重写,提出了一种有效的新方法以支持基于线性 Datalog+/- 的规则。
- 将本体查询重写成小型非递归 Datalog 程序
本文研究本体数据库访问设置,其中 Abox 以关系数据库 D 的形式给出,而布尔连接查询 q 必须针对在 DL-Lite 或 Linear Datalog+/- 中制定的 Tbox T 模块进行求值。我们展示了如何将(T,q)转换为大小为多 - 不一致数据库中的一致查询回答的答案集
本文介绍了一种基于答案集的逻辑程序设计方法,用于从可能不一致的数据库中检索一致信息并声明持久性和维修更改的例外,特别集中研究实践中发现的二元完整性约束。