机构

• 软件研究所 [6]
• 长春光学精密机械与物... [4]
• 自动化研究所 [3]
• 计算技术研究所 [2]
• 理论物理研究所 [1]
• 数学与系统科学研究院 [1]
• 更多

采集方式

• OAI收割 [18]

内容类型

• 期刊论文 [11]
• 会议论文 [7]

发表日期

• 2021 [2]
• 2016 [2]
• 2013 [1]
• 2011 [2]
• 2009 [2]
• 2008 [5]
• 更多

学科主题

• Biochemist... [1]
• Biophysics [1]
• Computer S... [1]

筛选

浏览/检索结果: 共18条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 Ensuring the Correctness of Regular Expressions: A Review 期刊论文  OAI收割 International Journal of Automation and Computing, 2021, 卷号: 18, 期号: 4, 页码: 521-535 作者:  Li-Xiao Zheng   |  收藏  |   A two-stage temporal proposal network for precise action localization in untrimmed video 期刊论文  OAI收割 International Journal of Machine Learning and Cybernetics, 2021, 卷号: 12, 期号: 8, 页码: 2199-2211 作者:  Wang F(王斐);  Wang, Guorui;  Du, Yuxuan;  He, Zhenquan;  Jiang Y(姜勇)   |  收藏  |   SARP: Synopsis-Based Approximate Request Processing for Low Latency and Small Correctness Loss in Cloud Online Services 期刊论文  OAI收割 INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2016, 卷号: 44, 期号: 5, 页码: 1054-1077 作者:  Han, Rui;  Zhan, Jianfeng;  Vazquez-Poletti Luis, Jose   |  收藏  |   MQAPsingle: A quasi single-model approach for estimation of the quality of individual protein structure models 期刊论文  OAI收割 PROTEINS-STRUCTURE FUNCTION AND BIOINFORMATICS, 2016, 卷号: 84, 期号: 8, 页码: 1021-1028 作者:  Pawlowski, M;  Kozlowski, L;  Kloczkowski, A;  Kloczkowski, A (reprint author), Nationwide Childrens Hosp, Res Inst, Battelle Ctr Math Med, 700 Childrens Dr, Columbus, OH 43205 USA.   |  收藏  |   A new proof for the correctness of the F5 algorithm 期刊论文  OAI收割 中国科学:数学(英文版), 2013, 卷号: 56, 期号: 4, 页码: 745-756 作者:  Sun Yao;  Wang DingKang   |  收藏  |   Research on model reference sliding mode control in roll stabilization of aerocraft (EI CONFERENCE) 会议论文  OAI收割 2011 International Conference on Electric Information and Control Engineering, ICEICE 2011, April 15, 2011 - April 17, 2011, Wuhan, China Chu H.-R. 收藏  |   The effectiveness of real-time embedded software testing (EI CONFERENCE) 会议论文  OAI收割 2011 9th International Conference on Reliability, Maintainability and Safety: Safety First, Reliability Primary, ICRMS'2011, June 12, 2011 - June 15, 2011, Guiyang, China Zhang B.; Shen X. 收藏  |   Application of master-slave multi-communication system in pilotless airborne mapping equipment (EI CONFERENCE) 会议论文  OAI收割 5th International Symposium on Instrumentation Science and Technology, September 15, 2009 - September 18, 2009, Shenyang, China 作者:  Chen J.;  Wang W.;  Wang W.;  Zhang Y. 收藏  |   基于静态分析的强制访问控制框架的正确性验证 期刊论文  OAI收割 计算机学报, 2009, 卷号: 32, 期号: 4, 页码: 730-739 吴新松; 周洲仪; 贺也平; 梁洪亮; 袁春阳   |  收藏  |   A Petri-net-based correctness analysis of Internet stock trading systems 期刊论文  OAI收割 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 卷号: 38, 期号: 1, 页码: 93-99 作者:  Du, YuYue;  Jiang, ChangJun;  Zhou, MengChu 收藏  |