QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 限定条件 发表日期：2016    内容类型：会议论文    专题：北京航空航天大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Safety Analysis for Safety-critical System Based on Boilerplate and Alloy 会议论文 7th IEEE International Conference on Software Engineering and Service Science (ICSESS), China Hall Sci & Technol, Beijing, PEOPLES R CHINA 作者:  Jiang Nan;  Li Guoqi;  Liu Bin 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30 safety analysis  boilerplate  ontology  Alloy  safety-critical system  formal language   On the Decomposition-based Global EDF Scheduling of Parallel Real-Time Tasks 会议论文 37th IEEE Real-Time Systems Symposium (RTSS), Porto, PORTUGAL, 2016-01-01 作者:  Jiang, Xu;  Long, Xiang;  Guan, Nan;  Wan, Han 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/30 Performance Evaluation and Optimization of Single Layer MoS2 Double Gate Transistors with metallic contacts 会议论文 7th IEEE International Nanoelectronics Conference, Chengdu, PEOPLES R CHINA, 2016-01-01 作者:  Zeng, Lang;  Gong, Fanghui;  Nan, Jiang;  Huang, Yangqi;  Zhang, He 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30 Safety Analysis for Safety-critical System Based on Boilerplate and Alloy 会议论文 PROCEEDINGS OF 2016 IEEE 7TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS 2016), 2016-01-01 作者:  Jiang Nan;  Li Guoqi;  Liu Bin 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30 safety analysis  boilerplate  ontology  Alloy  safety-critical system  formal language   Modeling Joint Representation with Tri-Modal Deep Belief Networks for Query and Question Matching 会议论文 7th Forum on Data Engineering and Information Management (DEIM Forum), Fukushima, JAPAN, 2016-04-01 作者:  Jiang, Nan;  Rong, Wenge;  Peng, Baolin;  Nie, Yifan;  Xiong, Zhang 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30 cQA  deep belief networks  joint representation  tri-modal deep belief network   Bi-Modal Deep Boltzmann Machine Based Musical Emotion Classification 会议论文 ARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING - ICANN 2016, PT II, 2016-01-01 作者:  Huang, Moyuan;  Rong, Wenge;  Arjannikov, Tom;  Jiang, Nan;  Xiong, Zhang 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30 Music  Emotion  Deep Boltzmann Machine  Audio  Lyrics