中国科学院计算技术研究所机构知识库

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

帮助

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序WOS被引频次升序WOS被引频次降序提交时间升序提交时间降序期刊影响因子升序期刊影响因子降序题名升序题名降序发表日期升序发表日期降序
	Recent advances on virtual human synthesis 期刊论文 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2009, 卷号: 52, 期号: 5, 页码: 741-757 作者:  Xia ShiHong;  Wang ZhaoQi 收藏  |  浏览/下载：47/0  |  提交时间：2019/12/16 virtual human  human body modeling  dynamics  inverse kinematics
	From knowledge based software engineering to knowware based software engineering 期刊论文 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2008, 卷号: 51, 期号: 6, 页码: 638-660 作者:  Lu RuQian;  Jin Zhi 收藏  |  浏览/下载：44/0  |  提交时间：2019/12/16 PROMIS  knowledge based software engineering  knowware  J2EE  PROMIS  KW**  knowware based software engineering
	Cross-layer optimization in ultra wideband networks 期刊论文 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2007, 卷号: 50, 期号: 5, 页码: 760-770 作者:  Wu Qi;  Bi JingPing;  Guo ZiHua;  Xiong YongQiang;  Zhang Qian;  Li ZhongCheng 收藏  |  浏览/下载：46/0  |  提交时间：2019/12/16 ultra wideband  medium access control  cross-layer design  topology formation  piconet
	Modeling and verifying Web services driven by requirements: An ontology-based approach 期刊论文 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006, 卷号: 49, 期号: 6, 页码: 792-820 作者:  Hou Lishan;  Jin Zhi;  Wu Budan 收藏  |  浏览/下载：43/0  |  提交时间：2019/12/16 web service  environment ontology  automatic composition  pi calculus  formal verification
	Response compaction for system-on-a-chip based on advanced convolutional codes 期刊论文 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006, 卷号: 49, 期号: 2, 页码: 262-272 作者:  Han, YH;  Li, HW;  Li, XW;  Anshuman, C 收藏  |  浏览/下载：45/0  |  提交时间：2019/12/16 SOC test  response compaction  convolutional code  aliasing  X bits masking
	A logical foundation for the semantic Web 期刊论文 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2005, 卷号: 48, 期号: 2, 页码: 161-178 作者:  Shi, ZZ;  Dong, MK;  Jiang, YC;  Zhang, HJ 收藏  |  浏览/下载：44/0  |  提交时间：2019/12/16 semantic Web  description logic  dynamic description logic  logical foundation
	Parallel divide and conquer bio-sequence comparison based on Smith-Waterman algorithm 期刊论文 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2004, 卷号: 47, 期号: 2, 页码: 221-231 作者:  Zhang, F;  Qiao, XZ;  Liu, ZY 收藏  |  浏览/下载：75/0  |  提交时间：2019/12/16 biological sequence alignment  dynamic programming  divide and conquer  parallel