中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 38)

Filters        
Items/Page:    Sort:
a computational proof of complexity of some restricted counting problems [会议论文]
6th Annual Conference on Theory and Applications of Models of Computation, TAMC 2009, Changsha, China, 43969
Cai Jin-Yi; Lu Pinyan; Xia Mingji
  |  
 
saturation attack on the block cipher hight [会议论文]
8th International Conference on Cryptology and Network Security, CANS 2009, Kanazawa, Japan, 40878
Zhang Peng; Sun Bing; Li Chao
  |  
 
reuse strategies in distributed complex event detection [会议论文]
9th International Conference on Quality Software, QSIC 2009, Jeju, Korea, Republic of, August 24,
Long Zhenyue; Jin Beihong; Qi Fengliang; Cao Donglei
  |  
 
knowware: the third star after hardware and software [会议论文]
3rd International Conference on Knowledge Science, Engineering and Management, KSEM 2009, Vienna, Austria, 40849
Bell David; Jiang Ying; Lu Ruqian; Su Kaile; Zhang Songmao
  |  
 
multiresolution animated models generation based on deformation distance analysis [会议论文]
2009 International Conference on Computer Modeling and Simulation, ICCMS 2009, Macau, China, 40576
Shixue Zhang; Enhua Wu
  |  
 
solving global unconstrained optimization problems by symmetry-breaking [会议论文]
8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009, Shanghai, China, 43983
Ji Xiaohui; Ma Fei Fei; Zhang Jian
  |  
 
weathering fur simulation [会议论文]
VRST 2009 - 16th ACM Symposium on Virtual Reality Software and Technology, Kyoto, Japan, 40848
Jiao Shaohui; Yang Gang; Wu Enhua
  |  
 
基于MDA和可执行形式化的可信软件设计 [期刊论文]
计算机工程, 2009-01-01, 卷号: 35, 期号: 19, 页码: 138-140
唐艳; 杜玉越; 刘伟
  |  
 
针对实时视觉通信的图像序列自动提炼 [期刊论文]
电子学报, 2009-01-01, 卷号: 37, 期号: z1, 页码: 42-50,56
黄沛杰; 朱立华; 刘学慧; 吴恩华; 王传铭
  |  
 
基于BDD的增量启发式搜索 [期刊论文]
软件学报, 2009-01-01, 期号: 9, 页码: 2352-2365
徐艳艳; 岳伟亚
  |  
 

1 2 3 4 next

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace