中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
Decomposition for a new kind of imprecise information system 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2018, 卷号: 12, 期号: 2, 页码: 376-395
作者:  Deng, Shaobo;  Guan, Sujie;  Li, Min;  Wang, Lei;  Sui, Yuefei
收藏  |  浏览/下载：68/0  |  提交时间：2019/12/10
imprecise information systems  decomposition  composition  soundness and completeness  
A Power and Area Optimization Approach of Mixed Polarity Reed-Muller Expression for Incompletely Specified Boolean Functions 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2017, 卷号: 32, 期号: 2, 页码: 297-311
作者:  He, Zhen-Xue;  Xiao, Li -Min;  Ruan, Li;  Gu, Fei;  Huo, Zhi-Sheng;  Qin, Guang-Jun;  Zhu, Ming-Fa;  Zhang, Long-Bing;  Liu, Rui;  Wang, Xiang
收藏  |  浏览/下载：59/0  |  提交时间：2019/12/12
power and area optimization  Reed-Muller (RM) circuit  Pareto optimal solution  don't care term  chromosome conversion  
具有模态词□φ=□1φ∨□2φ且可靠与完备的公理系统 期刊论文
软件学报, 2015, 卷号: 26.0, 期号: 009, 页码: 2286
作者:  邓少波;  黎敏;  曹存根;  眭跃飞
收藏  |  浏览/下载：8/0  |  提交时间：2023/12/04
命题模态逻辑  模态词  公理系统  
面向Internet数据中心的资源管理 期刊论文
软件学报, 2012, 卷号: 23.0, 期号: 002, 页码: 179
作者:  张伟;  宋莹;  阮利;  祝明发;  肖利民
收藏  |  浏览/下载：9/0  |  提交时间：2023/12/04
数据中心  资源管理  SLA（service  level  agreement）  功耗  虚拟化  
An effective discretization based on Class-Attribute Coherence Maximization 期刊论文
PATTERN RECOGNITION LETTERS, 2011, 卷号: 32, 期号: 15, 页码: 1962-1973
作者:  Li, Min;  Deng, ShaoBo;  Feng, Shengzhong;  Fan, Jianping
收藏  |  浏览/下载：71/0  |  提交时间：2019/12/16
Discretization  CAIM  CACM  Classification  Class-Attribute Independence Redundancy (CAIR)  
无权访问的条目 学位论文
作者:  陈立民
Adobe PDF(3461Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2011/07/01
无权访问的条目 学位论文
作者:  陈立民
收藏  |  浏览/下载：0/0  |  提交时间：2011/07/01
基于动态描述逻辑DDL的动作理论 期刊论文
计算机科学, 2011, 卷号: 38.0, 期号: 007, 页码: 203
作者:  常亮;  陈立民
收藏  |  浏览/下载：8/0  |  提交时间：2023/12/04
动态描述逻辑  知识表示和推理  动作理论  智能主体  语义Web  
一种基于状态图的网格用户全生命周期管理模型的研究 期刊论文
计算机科学, 2011, 卷号: 38.0, 期号: 1.0, 页码: 113
作者:  刘利民;  尚朝轩;  徐志伟
收藏  |  浏览/下载：9/0  |  提交时间：2023/12/04
网格  用户  全生命周期  元状态  子状态  转换  
基于动态描述逻辑的Web服务自动组合技术 期刊论文
高技术通讯, 2011, 卷号: 21.0, 期号: 1.0, 页码: 58
作者:  陈立民;  王竹晓;  史忠植
收藏  |  浏览/下载：8/0  |  提交时间：2023/12/04
Web服务  Web服务自动组合wsc）  语义Web  描述逻辑（DL）  动态描述逻辑  （DDL）