中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
计算技术研究所 [22]
软件研究所 [20]
心理研究所 [1]
自动化研究所 [1]
采集方式
OAI收割 [44]
内容类型
期刊论文 [40]
学位论文 [4]
发表日期
2022 [2]
2017 [1]
2015 [1]
2014 [1]
2013 [3]
2012 [2]
更多
学科主题
计算机科学技术基础学... [1]
筛选
浏览/检索结果:
共44条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
时间与模态对汉语条件句违实语义加工的影响
学位论文
OAI收割
中国科学院心理研究所: 中国科学院大学, 2022
作者:
李琳
  |  
收藏
  |  
浏览/下载:54/0
  |  
提交时间:2022/09/09
逻辑因素
汉语条件句
违实语义
时间
模态
从视频到语言:视频标题生成与描述研究综述
期刊论文
OAI收割
自动化学报, 2022, 卷号: 48, 期号: 2, 页码: 375-397
作者:
汤鹏杰
;
王瀚漓
  |  
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2024/05/20
视频描述
卷积神经网络
循环神经网络
语段生成
情感表达
逻辑语义
Contrary description logic: Gentzen deduction system
期刊论文
OAI收割
中国科学:信息科学(英文版), 2017, 卷号: 60.0, 期号: 011, 页码: 112103
作者:
Li Wei
;
Sui Yuefei
;
Luo Jie
;
Chen Bo
  |  
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2023/12/04
描述逻辑
演绎系统
构造函数
金
语义
基于动态描述逻辑的Web自动化服务组合
期刊论文
OAI收割
高技术通讯, 2015, 卷号: 0.0, 期号: 2.0, 页码: 118
作者:
张建华
;
田东平
;
岳金朋
;
张博
  |  
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2023/12/04
Web服务组合
语义Web
描述逻辑
动态描述逻辑(DDL)
公式分层的谓词模态逻辑
期刊论文
OAI收割
软件学报, 2014, 卷号: 25.0, 期号: 005, 页码: 1014
作者:
孙梅莹
;
邓少波
;
陈博
;
曹存根
;
眭跃飞
  |  
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2023/12/04
跨可能世界相等
谓词模态逻辑
可变论域语义
Ⅴ-性质
可靠性
完备性
联合语义角色标注和指代消解
期刊论文
OAI收割
中文信息学报, 2013, 卷号: 27.0, 期号: 006, 页码: 58
作者:
熊皓
;
刘群
;
吕雅娟
  |  
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2023/12/04
语义角色标注
指代消解
马尔科夫逻辑网络
逻辑之间的语义忠实语义满翻译
期刊论文
OAI收割
软件学报, 2013, 卷号: 24.0, 期号: 007, 页码: 1626
作者:
申宇铭
;
马越
;
曹存根
;
眭跃飞
;
王驹
  |  
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2023/12/04
翻译
语义忠实语义满翻译
逻辑同义性
基于动态描述逻辑的语义Web服务组合
期刊论文
OAI收割
计算机学报, 2013, 卷号: 36.0, 期号: 012, 页码: 2468
作者:
常亮
;
刘进
;
古天龙
;
史忠植
  |  
收藏
  |  
浏览/下载:34/0
  |  
提交时间:2023/12/04
语义Web服务
服务组合
动态描述逻辑
动作理论
规划问题
基于良基语义的安全策略表达与验证方法
期刊论文
OAI收割
软件学报, 2012, 卷号: 23.0, 期号: 004, 页码: 912
作者:
包义保
;
殷丽华
;
方滨兴
;
郭莉
  |  
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2023/12/04
安全策略
安全管理
良基语义
策略验证
逻辑编程
描述语义Web服务的带类型的OWL-S
期刊论文
OAI收割
计算机工程与应用, 2012, 卷号: 48.0, 期号: 022, 页码: 58
作者:
刘超
  |  
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
语义Web服务
OWL-S
类型
一阶动态逻辑
服务验证