|
Selected(0)Clear
Items/Page: Sort: |
| 中国科学院软件研究所图书文献资源分布 其他
2009-06-06
Authors: 软件所图书馆
 Adobe PDF(477Kb) |  Favorite | View/Download：96/0 | Submit date：2009/06/06
图书资源 |
| fast complete memory consistency verification 会议论文
Proceedings - International Symposium on High-Performance Computer Architecture, Takamatsu, Japan, August 5,
Authors: Yunji Chen; Yi Lv; Weiwu Hu; Tianshi Chen; Haihua Shen; Pengyu Wang; Hong Pan
Favorite | View/Download：82/0 | Submit date：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,
Authors: Song Wei; Ma Xiaoxing; Ye Chunyang; Dou Wanchun; L&#; Jian
Favorite | View/Download：86/0 | Submit date：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
Authors: Song Xin; Huang Jia; Zhou Jing-Min; Chen Xi
Favorite | View/Download：88/0 | Submit date：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
Authors: Chen Jianjun; Zhang Suofei; Wu Zhenyang; An Guocheng
Favorite | View/Download：110/0 | Submit date：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
Authors: Fang Weiwei; Zhao Xin; Chu Tianshu; An Yuan; Liu Yi; Qian Depei
Favorite | View/Download：79/0 | Submit date：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
Authors: Liu Wei; Du YuYue; Cui HuanQing; Yan Chun
Favorite | View/Download：79/0 | Submit date：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
Authors: Yang Gang; Huang Xin-Yuan
Favorite | View/Download：108/0 | Submit date：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
Authors: Wang Kan; Zheng Yujun
Favorite | View/Download：73/0 | Submit date：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,
Authors: Zhou Xiang
Favorite | View/Download：83/0 | Submit date：2011/03/20 |
