中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

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

条数/页: 排序方式:
从视频到语言:视频标题生成与描述研究综述 期刊论文  OAI收割
自动化学报, 2022, 卷号: 48, 期号: 2, 页码: 375-397
作者:  
汤鹏杰;  王瀚漓
  |  收藏  |  浏览/下载:6/0  |  提交时间:2024/05/20
描述逻辑ALC中关于伪子概念极小改变的R-演算 期刊论文  OAI收割
软件学报, 2019, 卷号: 30.0, 期号: 012, 页码: 3683
作者:  
王雨晖;  眭跃飞
  |  收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04
面向异构语义映射的D3L转换算法及其性质研究 期刊论文  OAI收割
计算机研究与发展, 2018, 卷号: 55.0, 期号: 012, 页码: 2715
作者:  
赵晓非;  史忠植;  冯志勇
  |  收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04
Contrary description logic: Gentzen deduction system 期刊论文  OAI收割
中国科学:信息科学(英文版), 2017, 卷号: 60.0, 期号: 011, 页码: 112103
作者:  
Li Wei;  Sui Yuefei;  Luo Jie;  Chen Bo
  |  收藏  |  浏览/下载:1/0  |  提交时间:2023/12/04
基于动态描述逻辑的Web自动化服务组合 期刊论文  OAI收割
高技术通讯, 2015, 卷号: 0.0, 期号: 2.0, 页码: 118
作者:  
张建华;  田东平;  岳金朋;  张博
  |  收藏  |  浏览/下载:15/0  |  提交时间:2023/12/04
基于DSP的空间相机1553B总线通信设计与实现 期刊论文  OAI收割
计算机测量与控制, 2014, 期号: 5, 页码: 1575-1577+1586
作者:  
韩诚山;  赵庆磊;  黄良;  李祥之
收藏  |  浏览/下载:28/0  |  提交时间:2015/04/17
D3L(ccy)的属性及分布式Tableaux推理算法的研究 期刊论文  OAI收割
计算机研究与发展, 2014, 卷号: 51.0, 期号: 003, 页码: 570
作者:  
赵晓非;  田东平;  张文波;  史忠植
  |  收藏  |  浏览/下载:19/0  |  提交时间:2023/12/04
支持链式桥规则的分布式动态描述逻辑 期刊论文  OAI收割
高技术通讯, 2014, 卷号: 24, 期号: 5, 页码: 452
作者:  
张建华;  史忠植;  岳金朋;  齐保元;  蒋运承
  |  收藏  |  浏览/下载:6/0  |  提交时间:2023/12/04
链式桥规则导致的D3L知识传播及推理 期刊论文  OAI收割
计算机学报, 2014, 卷号: 37.0, 期号: 012, 页码: 2419
作者:  
赵晓非;  田东平;  史颖欢;  史忠植
  |  收藏  |  浏览/下载:6/0  |  提交时间:2023/12/04
面向数据库中关系的描述逻辑 期刊论文  OAI收割
计算机科学, 2013, 卷号: 40.0, 期号: 1.0, 页码: 1
作者:  
眭跃飞;  刘超
  |  收藏  |  浏览/下载:1/0  |  提交时间:2023/12/04