CORC

在结果中检索

CORC

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

限定条件                    
已选(0)清除 条数/页：   排序方式：
An Architectural-Enhanced Secure Design in Embedded System 会议论文
Proceedings of the IEEE International Conference on Software Engineering and Service Sciences, ICSESS, 2018-11-23
作者:  Wang, X.;  Xu, B.;  Wang, W.;  Zhang, Z.;  Zhang, X.
收藏  |  浏览/下载：19/0  |  提交时间：2019/12/30
Adaptive robust constraint following control for mechanical systems 会议论文
1st International Conference on Industrial Artificial Intelligence, IAI 2019, Shenyang, China, 2019-07-22
作者:  Xu, Jinquan;  Zhang, Boyi;  Fang, Hao;  Du, Yutao;  Chen, Ye-Hwa
收藏  |  浏览/下载：12/0  |  提交时间：2019/12/30
A Unified Approach to Online Matching with Conflict-Aware Constraints 会议论文
THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019-01-01
作者:  Xu, Pan;  Shi, Yexuan;  Cheng, Hao;  Dickerson, John;  Sankararaman, Karthik Abinav
收藏  |  浏览/下载：13/0  |  提交时间：2019/12/30
VisDrone-SOT2018: The vision meets drone single-object tracking challenge results 会议论文
15th European Conference on Computer Vision, ECCV 2018, Munich, Germany, 2018-09-08
作者:  Wen, Longyin;  Zhu, Pengfei;  Du, Dawei;  Bian, Xiao;  Ling, Haibin
收藏  |  浏览/下载：42/0  |  提交时间：2019/12/30
Outage Prediction and Diagnosis for Cloud Service Systems 会议论文
WEB CONFERENCE 2019: PROCEEDINGS OF THE WORLD WIDE WEB CONFERENCE (WWW 2019), 2019-01-01
作者:  Chen, Yujun;  Zhang, Hongyu;  Yang, Xian;  Lin, Qingwei;  Zhang, Dongmei
收藏  |  浏览/下载：8/0  |  提交时间：2019/12/30
The sixth visual object tracking VOT2018 challenge results 会议论文
15th European Conference on Computer Vision, ECCV 2018, Munich, Germany, 2018-09-08
作者:  Kristan, Matej;  Leonardis, Ale;  Matas, Ji��;  Felsberg, Michael;  Pflugfelder, Roman
收藏  |  浏览/下载：57/0  |  提交时间：2019/12/30
Interaction-Aware Arrangement for Event-Based Social Networks 会议论文
2019 IEEE 35TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING (ICDE 2019), 2019-01-01
作者:  Kou, Feifei;  Zhou, Zimu;  Cheng, Hao;  Du, Junping;  Shi, Yexuan
收藏  |  浏览/下载：8/0  |  提交时间：2019/12/30
Formal verification of dynamic hybrid systems: a NuSMV-based model checking approach 会议论文
4TH ANNUAL INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATION AND SENSOR NETWORK (WCSN 2017), 2018-01-01
作者:  Xu, Zhi;  Zhong, Deming;  Li, Weigang;  Huang, Hao;  Sun, Yigang
收藏  |  浏览/下载：14/0  |  提交时间：2019/12/30
System States Transition Safety Analysis Method Based on FSM and NuSMV 会议论文
PROCEEDINGS OF THE 2018 2ND INTERNATIONAL CONFERENCE ON MANAGEMENT ENGINEERING, SOFTWARE ENGINEERING AND SERVICE SCIENCES (ICMSS 2018), 2018-01-01
作者:  Ding, Yuxin;  Li, Weigang;  Zhong, Deming;  Huang, Hao;  Zhao, Yukun
收藏  |  浏览/下载：9/0  |  提交时间：2019/12/30
Nondeterministic Event Sequence Reduction for Android Applications 会议论文
2018 5TH INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND THEIR APPLICATIONS (DSA), 2018-01-01
作者:  Jiang, Bo;  Wang, Xiaoyan;  Xu, Huanqiang;  Wang, Hao;  Zhang, Chaoyang
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30

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