机构

• 计算技术研究所 [6]
• 软件研究所 [4]
• 自然科学史研究所 [1]
• 长春光学精密机械与物... [1]
• 测量与地球物理研究所 [1]
• 高能物理研究所 [1]
• 更多

采集方式

• OAI收割 [15]

内容类型

• 期刊论文 [12]
• 学位论文 [2]
• CNKI期刊论文 [1]

发表日期

• 2023 [1]
• 2015 [2]
• 2012 [3]
• 2011 [1]
• 2004 [2]
• 2001 [1]
• 更多

学科主题

• 数学史 [1]
• 计算机科学技术基础学... [1]
• 计算机软件::程序设... [1]
• 计算机软件::软件工... [1]

筛选

浏览/检索结果: 共15条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 ACRank:在神经排序模型中引入检索公理知识 期刊论文  OAI收割 计算机学报, 2023, 卷号: 46, 期号: 10, 页码: 2117 作者:  薄琳;  庞亮;  张朝亮;  王钊伟;  董振华   |  收藏  |  浏览/下载：6/0  |  提交时间：2024/05/20 neural ranking model  information retrieval axiom  contrastive learning  knowledge driven  data driven  神经检索模型  信息检索公理  对比学习  知识驱动  数据驱动   具有模态词□φ=□1φ∨□2φ且可靠与完备的公理系统 期刊论文  OAI收割 软件学报, 2015, 卷号: 26.0, 期号: 009, 页码: 2286 作者:  邓少波;  黎敏;  曹存根;  眭跃飞   |  收藏  |  浏览/下载：3/0  |  提交时间：2023/12/04 命题模态逻辑  模态词  公理系统   基于OMKast的术语关系获取和验证 期刊论文  OAI收割 计算机应用研究, 2015, 卷号: 32.0, 期号: 011, 页码: 3319 作者:  王娜娜;  黄运有;  唐素勤;  王石;  曹存根   |  收藏  |  浏览/下载：0/0  |  提交时间：2023/12/04 术语  术语间关系  关系公理  文本知识获取  术语关系获取  术语关系验证   不动点逻辑中的模型构造与推演系统的完备性 学位论文  OAI收割 博士, 北京: 中国科学院研究生院, 2012 屈楠   |  收藏  |  浏览/下载：33/0  |  提交时间：2012/07/06 mu-演算  可满足性  模型构造  公理系统  完备性   从中文Web网页中获取实体简称的研究 期刊论文  OAI收割 计算机科学, 2012, 卷号: 39.0, 期号: 003, 页码: 174 作者:  丁远钧;  曹存根;  王石;  符建辉   |  收藏  |  浏览/下载：18/0  |  提交时间：2023/12/04 自然语言处理  简称获取  约束公理  约束函数  关系图   社会群体角色本体的构建方法研究 期刊论文  OAI收割 计算机科学, 2012, 卷号: 39.0, 期号: 002, 页码: 222 作者:  江利萍;  曹存根;  张再跃   |  收藏  |  浏览/下载：2/0  |  提交时间：2023/12/04 社会群体  角色本体  公理  知识获取  知识验证   PAR中泛型约束机制的设计与实现 学位论文  OAI收割 博士, 北京: 中国科学院大学, 2011 左正康   |  收藏  |  浏览/下载：20/0  |  提交时间：2013/06/07 泛型约束机制  Hoare公理语义  代数结构  PAR  Kleene泛型算法   期望估计在抗差中的作用 期刊论文  OAI收割 桂林工学院学报, 2004, 期号: 3, 页码: 328-333 唐诗华; 黄杰; 朱军桃; 廖中平 收藏  |  浏览/下载：34/0  |  提交时间：2012/02/13 密度权  公理化权  期望估计  绝对值指数分布   音乐领域本体的建立和分析 期刊论文  OAI收割 计算机科学, 2004, 卷号: 31.0, 期号: 1.0, 页码: 103 作者:  高颖;  曹存根;  眭跃飞   |  收藏  |  浏览/下载：0/0  |  提交时间：2023/12/04 一致性  音乐知识系统  知识工程  领域本体  公理   经典BLP安全公理的一种适应性标记实施方法及其正确性 期刊论文  OAI收割 计算机研究与发展, 2001, 卷号: 38, 期号: 11, 页码: 1366-1372 石文昌; 孙玉芳; 梁洪亮   |  收藏  |  浏览/下载：18/0  |  提交时间：2011/07/29 Bell & LaPadula,计算机安全,模型,公理,Linux,实现  经典  安全操作系统  适应性  记实  实施方法  基础  访问控制规则  正确性证明  多级安全性  判定增加  敏感标记  基本安全  安全系统  灵活性  计算机  模型  理论  开发  构造  构成