中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共4条，第1-4条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
Contrary description logic： Gentzen deduction system 期刊论文
中国科学：信息科学（英文版）, 2017, 卷号: 60.0, 期号: 011, 页码: 112103
作者:  Li Wei;  Sui Yuefei;  Luo Jie;  Chen Bo
收藏  |  浏览/下载：4/0  |  提交时间：2023/12/04
描述逻辑  演绎系统  构造函数  金  语义  
利用编码器{解码器学习依存边翻译规则表示 期刊论文
中国科学. 信息科学, 2017, 卷号: 47, 期号: 8, 页码: 1036
作者:  陈宏申;  刘群
收藏  |  浏览/下载：4/0  |  提交时间：2023/12/04
依存边  转换  机器翻译  神经网络  编码器  解码器  
低熵云计算系统 期刊论文
中国科学. 信息科学, 2017, 卷号: 47, 期号: 9, 页码: 1149
作者:  徐志伟;  李春典
收藏  |  浏览/下载：4/0  |  提交时间：2023/12/04
云计算  用户体验  系统效率  计算系统熵  分布式系统  计算机体系结构  
基于博弈论的重大公共活动安保策略设计算法 期刊论文
中国科学. 信息科学, 2017, 卷号: 47, 期号: 4, 页码: 492
作者:  殷越;  安波;  史忠植
收藏  |  浏览/下载：4/0  |  提交时间：2023/12/04
博弈论  安全  算法设计  策略设计  多智能体