CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
Evolution strategy based adaptive L-q penalty support vector machines with Gauss kernel for credit risk analysis 期刊论文
APPLIED SOFT COMPUTING, 2012, 卷号: 12, 期号: 8, 页码: 8,2675-2682
Li, JP; Li, G; Sun, DX; Lee, CF
收藏  |  浏览/下载：14/0  |  提交时间：2012/11/12
robust vacuity for branching temporal logic 期刊论文
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2012, 卷号: 13, 期号: 1, 页码: -
Gurfinkel Arie; Chechik Marsha
收藏  |  浏览/下载：10/0  |  提交时间：2013/09/17
电子政务软件可靠性评测方法初探 期刊论文
Computer Applications and Software, 2012, 卷号: 29, 期号: 3, 页码: 41037
陈心光; 刘彦斌
收藏  |  浏览/下载：14/0  |  提交时间：2012/11/12
automatic verification of optimization algorithms: a case study of a quadratic assignment problem solver 期刊论文
International Journal of Software Engineering and Knowledge Engineering, 2011, 卷号: 21, 期号: 2, 页码: 289-307
Merkel Robert; Wang Daoming; Lin Huimin; Chen Tsong Yueh
收藏  |  浏览/下载：13/0  |  提交时间：2013/10/08
extended probabilistic latent semantic analysis model for topics in time-stamped images 期刊论文
INTELLIGENT AUTOMATION AND SOFT COMPUTING, 2011, 卷号: 17, 期号: 7, 页码: 983-995
Liao Xiaofeng; Wang Yongji; Ding Liping; Gu Jian
收藏  |  浏览/下载：15/0  |  提交时间：2013/10/08
efficient and multi-level privacy-preserving communication protocol for vanet 期刊论文
Computers and Electrical Engineering, 2011, 卷号: 38, 期号: 3, 页码: -
Xiong Hu; Chen Zhong; Li Fagen
收藏  |  浏览/下载：15/0  |  提交时间：2013/10/08
一种形式化的组件化软件过程建模方法 期刊论文
Journal of Software, 2011, 卷号: 22, 期号: 1, 页码: 1-16
翟健; 杨秋松; 肖俊超; 李明树
收藏  |  浏览/下载：12/0  |  提交时间：2013/10/08
a three-level verification approach on wireless communication controller system 会议论文
2011 International Conference on Computer Science and Network Technology, ICCSNT 2011, Harbin, China, December 24, 2011 - December 26, 2011
Fan Linlin; Liao Mingxue; He Xiaoxin
收藏  |  浏览/下载：10/0  |  提交时间：2013/10/08
formal verification on distributed spectrum sensing protocol 会议论文
2011 International Conference on Computer Science and Network Technology, ICCSNT 2011, Harbin, China, December 24, 2011 - December 26, 2011
Liu Jin-Bo; Liao Ming-Xue; Hu Xiao-Hui; He Xiao-Xin
收藏  |  浏览/下载：15/0  |  提交时间：2013/10/08
模型检测MESIF Cache一致性协议 期刊论文
计算机工程与应用, 2010, 卷号: 46, 期号: 17, 页码: 66-68,152
吕正; 陈昊; 陈峰; 吕毅
收藏  |  浏览/下载：14/0  |  提交时间：2011/05/24

©版权所有 ©2017 CSpace - Powered by CSpace