中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
公式分层的谓词模态逻辑 期刊论文
软件学报, 2014, 卷号: 25.0, 期号: 005, 页码: 1014
作者:  孙梅莹;  邓少波;  陈博;  曹存根;  眭跃飞
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
跨可能世界相等  谓词模态逻辑  可变论域语义  Ⅴ-性质  可靠性  完备性  
基于元性质的数量型属性值自动提取系统的实现 期刊论文
计算机研究与发展, 2010, 卷号: 000, 期号: 010, 页码: 1741
作者:  卢汉;  曹存根;  王石
收藏  |  浏览/下载：9/0  |  提交时间：2023/12/04
属性值抽取  数量型属性  属性元性质  锚文本  层次分析  
计算机系统变革性研究的4个问题 期刊论文
计算机研究与发展, 2008, 卷号: 45.0, 期号: 012, 页码: 2011
作者:  徐志伟;  李沛旭;  查礼
收藏  |  浏览/下载：9/0  |  提交时间：2023/12/04
计算机系统  变革性研究  人机物社会  分散系统  计算度量  涌现性质  
基于AdaBoost方法的蛋白质磷酸化修饰规则抽取 期刊论文
计算机工程与设计, 2007, 卷号: 28.0, 期号: 011, 页码: 2623
作者:  蔡津津;  赵杰煜;  贺思敏
收藏  |  浏览/下载：9/0  |  提交时间：2023/12/04
磷酸化  规则抽取  预测  氨基酸性质  AdaBoost算法  蛋白质  
基于变迁指标的Petri网分解方法 期刊论文
计算机科学, 2006, 卷号: 33.0, 期号: 1.0, 页码: 144
作者:  曾庆田
收藏  |  浏览/下载：9/0  |  提交时间：2023/12/04
Petri网  变迁指标  分解  可达状态  语言  Petri网分解  分解方法  变迁  结构性质  子系统