中国科学院计算技术研究所机构知识库

浏览/检索结果: 共2条，第1-2条

帮助

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序WOS被引频次升序WOS被引频次降序提交时间升序提交时间降序期刊影响因子升序期刊影响因子降序题名升序题名降序发表日期升序发表日期降序
	ACRank:在神经排序模型中引入检索公理知识 期刊论文 计算机学报, 2023, 卷号: 46, 期号: 10, 页码: 2117 作者:  薄琳;  庞亮;  张朝亮;  王钊伟;  董振华;  徐君;  文继荣 收藏  |  浏览/下载：12/0  |  提交时间：2024/05/20 neural ranking model  information retrieval axiom  contrastive learning  knowledge driven  data driven  神经检索模型  信息检索公理  对比学习  知识驱动  数据驱动
	Completeness of Hoare logic with inputs over the standard model 期刊论文 THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28 作者:  Xu, Zhaowei;  Sui, Yuefei;  Zhang, Wenhui 收藏  |  浏览/下载：46/0  |  提交时间：2019/12/13 Hoare logic  Peano arithmetic  The standard model  Computation  Arithmetical definability  Logical completeness