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

Search Results

Help

Item hits: (Results 11-20 of 110)

Filters        
Items/Page:    Sort:
searching for doubly self-orthogonal latin squares [会议论文]
17th International Conference on Principles and Practice of Constraint Programming, CP 2011, Perugia, Italy, September
Lu Runming; Liu Sheng; Zhang Jian
  |  
 
local search with edge weighting and configuration checking heuristics for minimum vertex cover [会议论文]
Cai Shaowei; Su Kaile; Sattar Abdul
  |  
 
high viscosity fluid simulation using particle-based method [会议论文]
IEEE International Symposium on Virtual Reality Innovations 2011, ISVRI 2011, Singapore, Singapore, March 19,
Chang Yuanzhang; Bao Kai; Zhu Jian; Wu Enhua
  |  
 
simple power analysis attacks using chosen message against ecc hardware implementations [会议论文]
World Congress on Internet Security, WorldCIS-2011, London, United kingdom, 2-Feb
Li Huiyun; Wu Keke; Xu Guoqing; Yuan Hai; Luo Peng
  |  
 
sketch-based design for green geometry and image deformation [会议论文]
sketch-based design for green geometry and image deformation, 北京, 2011
Sheng Bin; Meng Weiliang; Sun Hanqiu; Wu Enhua
  |  
 
an inductive approach to strand spaces [期刊论文]
Formal Aspects of Computing, 2011-01-01, 期号: 1, 页码: 1-37
Li Yongjian; Pang Jun
  |  
 
symbolic decision procedure for termination of linear programs [会议论文]
symbolic decision procedure for termination of linear programs, 北京, 2011
Xia Bican; Yang Lu; Zhan Naijun; Zhang Zhihai
  |  
 
automatic clustering using genetic algorithms [期刊论文]
Applied Mathematics and Computation, 2011-01-01, 卷号: 218, 期号: 4, 页码: 1267-1279
Liu Yongguo; Wu Xindong; Shen Yidong
  |  
 
a novel formalization of symbolic trajectory evaluation semantics in isabelle/hol [期刊论文]
Theoretical Computer Science, 2011-01-01, 卷号: 412, 期号: 25, 页码: 2746-2765
Li Yongjian; Hung William N.N.; Song Xiaoyu
  |  
 
tuple density: a new metric for combinatorial test suites (nier track) [会议论文]
33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu, HI, United states, 21-May-20
Chen Baiqiang; Zhang Jian
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 11 next

 

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