CSpace

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

已选(0)清除 条数/页:   排序方式:
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  
The monotonic increasing relationship between average powers of CMOS VLSI circuits with and without delay and its applications 期刊论文
SCIENCE IN CHINA SERIES F, 2002, 卷号: 45, 期号: 6, 页码: 401-415
作者:  Luo, ZY;  Min, YH;  Yang, SY;  Li, XW
收藏  |  浏览/下载:73/0  |  提交时间:2019/12/16
CMOS  VLSI  power estimation  test power  
Clustering of behavioral phases in FSMs and its applications to VLSI test 期刊论文
SCIENCE IN CHINA SERIES F, 2002, 卷号: 45, 期号: 6, 页码: 462-478
作者:  Li, HW;  Min, YH;  Li, ZC
收藏  |  浏览/下载:77/0  |  提交时间:2019/12/16
finite-state machines  clustering of states  behavioral descriptions  test generation  
A general sampling theorem for multiwavelet subspaces 期刊论文
SCIENCE IN CHINA SERIES F, 2002, 卷号: 45, 期号: 5, 页码: 365-372
作者:  Jia, CY;  Gao, XP
收藏  |  浏览/下载:72/0  |  提交时间:2019/12/16
multiwavelet  sampling theorem  Zak transform  general cardinal