CSpace

浏览/检索结果: 共97条,第1-10条 帮助

限定条件                
已选(0)清除 条数/页:   排序方式:
QingLong:一种基于常变量异步拷贝的神经网络编程模型 期刊论文
计算机学报, 2020, 卷号: 43.0, 期号: 004, 页码: 587
作者:  杜伟健;  陈云霁;  支天;  吴林阳;  陈小兵;  庄毅敏
收藏  |  浏览/下载:7/0  |  提交时间:2023/12/04
神经网络  编程模型  常量和变量  异步拷贝  软件开发工具  
L3-值命题逻辑的R-演算 期刊论文
计算机科学, 2020, 卷号: 47.0, 期号: 004, 页码: 164
作者:  曹存根;  胡岚曦;  眭跃飞
收藏  |  浏览/下载:6/0  |  提交时间:2023/12/04
信念修正  R-演算  余矢列式  Gentzen推理系统  非单调性  
一种基于约束依赖性分析的RDFS模式抽取方法 期刊论文
软件学报, 2020, 卷号: 000, 期号: 002, 页码: 344
作者:  赵晓非;  史忠植;  田东平;  刘建伟
收藏  |  浏览/下载:7/0  |  提交时间:2023/12/04
RDFS(resource  description  framework  schema)  约束  本体抽取  依赖性分析  
面向多核处理器的机器学习推理框架 期刊论文
计算机研究与发展, 2019, 卷号: 56.0, 期号: 009, 页码: 1977
作者:  张潇;  支天
收藏  |  浏览/下载:6/0  |  提交时间:2023/12/04
深度学习框架  多核处理器  低延迟推理  算子拆分  循环神经网络  
面向知识图谱的知识推理研究进展 期刊论文
软件学报, 2018, 卷号: 29.0, 期号: 010, 页码: 2966
作者:  官赛萍;  靳小龙;  贾岩涛;  王元卓;  程学旗
收藏  |  浏览/下载:6/0  |  提交时间:2023/12/04
知识推理  知识图谱  规则推理  分布式表示  神经网络  
面向异构语义映射的D3L转换算法及其性质研究 期刊论文
计算机研究与发展, 2018, 卷号: 55.0, 期号: 012, 页码: 2715
作者:  赵晓非;  史忠植;  冯志勇
收藏  |  浏览/下载:6/0  |  提交时间:2023/12/04
分布式动态描述逻辑  异构桥规则  正则性  集中式推理  计算复杂度  
A computational framework for Karl Popper's logic of scientific discovery 期刊论文
中国科学:信息科学(英文版), 2018, 卷号: 61.0, 期号: 004, 页码: 042101
作者:  Li Wei;  Sui Yuefei
收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04
科学发现  计算框架  逻辑  卡尔  近似推理  可满足性  近似算法  修订  
深度学习检索框架的前沿探索 期刊论文
计算机研究与发展, 2018, 卷号: 55.0, 期号: 009, 页码: 1987
作者:  郭嘉丰;  范意兴
收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04
信息检索  深度学习  数据表征  相关匹配  数据索引  
元数据存储库系统中违背良格式约束潜在操作的推理 期刊论文
计算机研究与发展, 2016, 卷号: 53.0, 期号: 005, 页码: 1095
作者:  赵晓非;  高阳;  史颖欢;  史忠植
收藏  |  浏览/下载:6/0  |  提交时间:2023/12/04
存储库系统  良格式约束  元对象设施  约束检测  构造活动  内部活动  
人工神经网络处理器 期刊论文
中国科学. 生命科学, 2016, 卷号: 46, 期号: 2, 页码: 223
作者:  陈云霁;  陈天石
收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04
人工神经  网络  处理器