|
已选(0)清除
条数/页： 排序方式： |
| 中国科学院软件研究所图书文献资源分布 其他
2009-06-06
作者: 软件所图书馆
 Adobe PDF(477Kb) |  收藏 | 浏览/下载：102/0 | 提交时间：2009/06/06
图书资源 |
| fast complete memory consistency verification 会议论文
Proceedings - International Symposium on High-Performance Computer Architecture, Takamatsu, Japan, August 5,
作者: Yunji Chen; Yi Lv; Weiwu Hu; Tianshi Chen; Haihua Shen; Pengyu Wang; Hong Pan
收藏 | 浏览/下载：89/0 | 提交时间：2011/03/20
Computer Architecture |
| timed modeling and verification of bpel processes using time petri nets 会议论文
Proceedings - International Conference on Quality Software, Jeju, Korea, Republic of, August 24,
作者: Song Wei; Ma Xiaoxing; Ye Chunyang; Dou Wanchun; L&#; Jian
收藏 | 浏览/下载：90/0 | 提交时间：2011/03/20
Graph TheoryPetri Nets |
| research of chinese text classification methods based on semantic vector and semantic similarity 会议论文
IFCSTA 2009 Proceedings - 2009 International Forum on Computer Science-Technology and Applications, Chongqing, China, 40879
作者: Song Xin; Huang Jia; Zhou Jing-Min; Chen Xi
收藏 | 浏览/下载：93/0 | 提交时间：2011/03/20
Computer ScienceInformation Retrieval SystemsKnowledge RepresentationSemanticsVector SpacesVectors |
| mean shift tracking with kernel co-occurrence matrices 会议论文
1st Asia Pacific Conference on Postgraduate Research in Microelectronics and Electronics, PrimeAsia 2009, Shanghai, China, 40848
作者: Chen Jianjun; Zhang Suofei; Wu Zhenyang; An Guocheng
收藏 | 浏览/下载：112/0 | 提交时间：2011/03/20
AlgorithmsMatrix AlgebraMicroelectronicsPixelsTargetsVector Quantization |
| rrdd: receiver-oriented robust data delivery in mobile sensor networks 会议论文
2009 IEEE 6th International Conference on Mobile Adhoc and Sensor Systems, MASS 09, Macau, China, 40828
作者: Fang Weiwei; Zhao Xin; Chu Tianshu; An Yuan; Liu Yi; Qian Depei
收藏 | 浏览/下载：83/0 | 提交时间：2011/03/20
Wireless Sensor Networks |
| liveness analysis of parallel programs petri net models 会议论文
Proceedings - 2009 International Conference on Information Engineering and Computer Science, ICIECS 2009, Wuhan, China, 40878
作者: Liu Wei; Du YuYue; Cui HuanQing; Yan Chun
收藏 | 浏览/下载：85/0 | 提交时间：2011/03/20
Computer ScienceParallel ArchitecturesParallel ProgrammingPetri Nets |
| accelerated algorithm for silhouette fur generation based on gpu 会议论文
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), San Diego, CA, United states, 37456
作者: Yang Gang; Huang Xin-Yuan
收藏 | 浏览/下载：112/0 | 提交时间：2011/03/20
Computer Graphics EquipmentEdge DetectionFins (Heat Exchange)Knowledge ManagementUbiquitous Computing |
| using linq as an instructional bridge between object-oriented and database programming 会议论文
Proceedings of 2009 4th International Conference on Computer Science and Education, ICCSE 2009, Nanning, China, 37462
作者: Wang Kan; Zheng Yujun
收藏 | 浏览/下载：80/0 | 提交时间：2011/03/20
Computer ScienceCurriculaDatabase SystemsEducation ComputingLinguistics |
| cfi construction and balanced graphs 会议论文
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Hefei, PEOPLES R CHINA, JUN 20-23,
作者: Zhou Xiang
收藏 | 浏览/下载：87/0 | 提交时间：2011/03/20 |
