中国科学院软件研究所机构知识库

浏览/检索结果: 共11条，第1-10条

帮助

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择期刊影响因子升序期刊影响因子降序提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序WOS被引频次升序WOS被引频次降序
	multifactor identity verification using aggregated proof of knowledge 期刊论文 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2010, 卷号: 40, 期号: 4, 页码: 372-383 作者:  Bhargav-Spantzel Abhilasha;  Squicciarini Anna Cinzia;  Xue Rui;  Bertino Elisa Adobe PDF(375Kb)  |  收藏  |  浏览/下载：104/0  |  提交时间：2011/05/23 PrivacySecurity
	a petri net-based model for verification of obligations and accountability in cooperative systems 期刊论文 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2009, 卷号: 39, 期号: 2, 页码: 299-308 作者:  Du YuYue;  Jiang ChangJun;  Zhou MengChu 收藏  |  浏览/下载：88/0  |  提交时间：2011/03/18 AccountabilityCooperative SystemsDiscrete Event SystemFormal ModelObligationsPetri Nets
	a petri-net-based correctness analysis of internet stock trading systems 期刊论文 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 卷号: 38, 期号: 1, 页码: 93-99 作者:  Du YuYue;  Jiang ChangJun;  Zhou MengChu 收藏  |  浏览/下载：97/0  |  提交时间：2011/06/10 CorrectnessFormal VerificationPetri Nets (Pns)Stock Trading SystemsTemporal Logic
	modeling and analysis of real-time cooperative systems using petri nets 期刊论文 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2007, 卷号: 37, 期号: 5, 页码: 643-654 作者:  Du YuYue;  Jiang ChangJun;  Zhou MengChu Adobe PDF(358Kb)  |  收藏  |  浏览/下载：100/0  |  提交时间：2011/07/01 Interorganizational WorkflowModelingRealtime Cooperative SystemTemporal LogicTime Petri Net (Tpn)VerificationWorkflow Analysis
	extraction of line segments and circular arcs from freehand strokes based on segmental homogeneity features 期刊论文 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2006, 卷号: 36, 期号: 2, 页码: 300-311 作者:  Zhang Xiwen;  Song Jiqiang;  Dai Guozhong;  Lyu Michael R. Adobe PDF(2035Kb)  |  收藏  |  浏览/下载：127/0  |  提交时间：2011/07/13 人工草地:4920,适宜草种:3961,草业生产:3214,新品种:3113,兵团:3069,灌溉条件:2754,牧草种植:2643,可选择:2442,人工种植:2310,草种选择:2182segmental Homogeneity FeatureSketch UnderstandingStroke RecognitionStroke Segmentation.
	extraction of line segments and circular arcs from freehand strokes based on segmental homogeneity features 期刊论文 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2006, 卷号: 36, 期号: 2, 页码: 300-311 作者:  Zhang Xiwen;  Song Jiqiang;  Dai Guozhong;  Lyu Michael R. Adobe PDF(2035Kb)  |  收藏  |  浏览/下载：104/0  |  提交时间：2011/07/13 人工草地:4920,适宜草种:3961,草业生产:3214,新品种:3113,兵团:3069,灌溉条件:2754,牧草种植:2643,可选择:2442,人工种植:2310,草种选择:2182segmental Homogeneity FeatureSketch UnderstandingStroke RecognitionStroke Segmentation.
	extraction of line segments and circular arcs from freehand strokes based on segmental homogeneity features 期刊论文 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2006, 卷号: 36, 期号: 2, 页码: 300-311 作者:  Zhang Xiwen;  Song Jiqiang;  Dai Guozhong;  Lyu Michael R. Adobe PDF(2035Kb)  |  收藏  |  浏览/下载：133/0  |  提交时间：2011/07/13 人工草地:4920,适宜草种:3961,草业生产:3214,新品种:3113,兵团:3069,灌溉条件:2754,牧草种植:2643,可选择:2442,人工种植:2310,草种选择:2182segmental Homogeneity FeatureSketch UnderstandingStroke RecognitionStroke Segmentation.
	catsmlp: toward a robust and interpretable multilayer perceptron with sigmoid activation functions 期刊论文 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2006, 卷号: 36, 期号: 6, 页码: 1319-1331 作者:  Chung Fu-Lai;  Wang Shitong;  Deng Zhaohong;  Hu Dewen Adobe PDF(399Kb)  |  收藏  |  浏览/下载：127/0  |  提交时间：2011/07/13 Cascaded Multilayer Perceptron (Mlp)Fuzzy SystemsRobustness AnalysisSyllogistic Fuzzy InferenceUniversal Approximation
	catsmlp: toward a robust and interpretable multilayer perceptron with sigmoid activation functions 期刊论文 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2006, 卷号: 36, 期号: 6, 页码: 1319-1331 作者:  Chung Fu-Lai;  Wang Shitong;  Deng Zhaohong;  Hu Dewen Adobe PDF(399Kb)  |  收藏  |  浏览/下载：95/0  |  提交时间：2011/07/13 Cascaded Multilayer Perceptron (Mlp)Fuzzy SystemsRobustness AnalysisSyllogistic Fuzzy InferenceUniversal Approximation
	catsmlp: toward a robust and interpretable multilayer perceptron with sigmoid activation functions 期刊论文 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2006, 卷号: 36, 期号: 6, 页码: 1319-1331 作者:  Chung Fu-Lai;  Wang Shitong;  Deng Zhaohong;  Hu Dewen Adobe PDF(399Kb)  |  收藏  |  浏览/下载：84/0  |  提交时间：2011/07/13 Cascaded Multilayer Perceptron (Mlp)Fuzzy SystemsRobustness AnalysisSyllogistic Fuzzy InferenceUniversal Approximation