中国科学院机构知识库网格系统: 检索

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

帮助

条数/页：排序方式：
	Truth Discovery by Claim and Source Embedding 期刊论文 OAI收割 IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2021, 卷号: 33, 期号: 3, 页码: 1264-1275 作者: Lyu, Shanshan; Ouyang, Wentao; Wang, Yongqing; Shen, Huawei; Cheng, Xueqi \| 收藏 \| 浏览/下载：44/0 \| 提交时间：2021/12/01 Reliability Object oriented modeling Iterative methods Probabilistic logic Data science Computer aided software engineering Data models Truth discovery crowdsourcing representation learning
	e-block: a tangible programming tool with graphical blocks 期刊论文 OAI收割 Mathematical Problems in Engineering, 2013, 卷号: 2013, 页码: - Wang Danli; Zhang Yang; Chen Shengyong \| 收藏 \| 浏览/下载：29/0 \| 提交时间：2013/09/17 Artificial intelligence Computer aided software engineering Computers Infrared radiation Microcomputers Semantics
	a path-oriented approach to generating executable test sequences for extended finite state machines 会议论文 OAI收割 IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, Beijing, China, July 4, 2012 - July 6, 2012 Wu Tianyong; Yan Jun; Zhang Jian \| 收藏 \| 浏览/下载：27/0 \| 提交时间：2013/09/22 Automata theory Computer aided software engineering Computer software
	The Application of Toolkit of Optimization in Designs of Accelerator Magnets 会议论文 OAI收割作者: Wu, W.; He, Y.; Ma, L. Z.; Xia, J. W.; Yao, Q. G. \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2019/03/27 Accelerator magnets computer aided software engineering magnetic fields optimization algorithm
	The Application of Toolkit of Optimization in Designs of Accelerator Magnets 期刊论文 OAI收割 IEEE TRANSACTIONS ON APPLIED SUPERCONDUCTIVITY, 2010, 卷号: 20, 期号: 3, 页码: 1827-1830 作者: Guo, B. L.; Wu, X.; Han, S. F.; Zhang, S. L.; Wu, W. \| 收藏 \| 浏览/下载：26/0 \| 提交时间：2011/05/16 Accelerator Magnets Computer Aided Software Engineering Magnetic Fields Optimization Algorithm
	evaluation of sat-based bounded model checking of actl properties 会议论文 OAI收割 1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering, Shanghai, PEOPLES R CHINA, JUN 06-08, Xu Yanyan; Chen Wei; Xu Liang; Zhang Wenhui \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/06/29 Algorithms Computer aided software engineering Data storage equipment Error detection Mathematical models State space methods
	New edge detection method for multispectral images 会议论文 OAI收割 MIPPR 2007: Multispectral Image Processing, Wuhan, China, November 15, 2007 - November 17,2007 Sun, Genyun; Liu, Qinhuo; Zhou, Ye 收藏 \| 浏览/下载：19/0 \| 提交时间：2014/12/07 Image analysis Computer aided software engineering Edge detection
	Research on Sea Digital Map based on WEBGIS 会议论文 OAI收割 2005 IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2005,, Seoul, Korea, Republic of, July 25, 2005 - July 29,2005 Peng, GuoJun; Chi, Tianhe; Zhang, XingGu; Xiang, Lu 收藏 \| 浏览/下载：16/0 \| 提交时间：2014/12/07 Geographic information systems Computer aided software engineering Computer software Data communication systems Internet Intranets Web browsers World Wide Web
	笔式用户界面开发工具研究期刊论文 OAI收割软件学报, 2003, 卷号: 14, 期号: 3, 页码: 392-400 栗阳; 关志伟; 戴国忠 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2011/07/29 笔式用户界面开发工具 Penbuilder SketchPoint 笔式用户界面用户界面系统设计实现设计开发原型系统快速原型界面开发交互方式计算环境构造工具系统多领域笔交互知识学科特性Computer aided software engineering Design Mathematical models Semantics Software prototyping