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

Search Results

Help

Item hits: (Results 1-10 of 34)

Filters    
Items/Page:    Sort:
enumerating proofs of positive formulae [期刊论文]
COMPUTER JOURNAL, 2009-01-01, 卷号: 52, 期号: 7, 页码: 799-807
Dowek Gilles; Jiang Ying

 
a parallel shortest path algorithm based on graph-partitioning and iterative correcting [期刊论文]
COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2009-01-01, 卷号: 24, 期号: 5, 页码: 351-360
Tang Yuxin; Zhang Yunquan; Chen Hu

 
an improved smart card based password authentication scheme with provable security [期刊论文]
COMPUTER STANDARDS & INTERFACES, 2009-01-01, 卷号: 31, 期号: 4, 页码: 723-728
Xu Jing; Zhu Wen-Tao; Feng Deng-Guo
  |  
 
lumiproxy: a hybrid representation of image-based models [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009-01-01, 卷号: 24, 期号: 3, 页码: 578-587
Sheng Bin; Zhu Jian; Wu En-Hua; Zhang Yan-Ci
  |  
 
on constrained facility location problems [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2008-01-01, 卷号: 23, 期号: 5, 页码: 740-748
Li Wei-Lin; Zhang Peng; Zhu Da-Ming
  |  
 
a near-optimal optimization algorithm for link assignment in wireless ad-hoc networks [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2006-01-01, 卷号: 21, 期号: 1, 页码: 89-94
Liu HC; Zhao BH
  |  
 
a near-optimal optimization algorithm for link assignment in wireless ad-hoc networks [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2006-01-01, 卷号: 21, 期号: 1, 页码: 89-94
Liu HC; Zhao BH
  |  
 
a generalized real-time obstacle avoidance method without the cspace calculation [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005-01-01, 卷号: 20, 期号: 6, 页码: 774-787
Wang YJ; Cartmell M; Tao QM; Liu H
  |  
 
a probability-guaranteed adaptive timeout algorithm for high-speed network flow detection [期刊论文]
COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, 2005-01-01, 卷号: 48, 期号: 2, 页码: 215-233
Wang JF; Li L; Sun FC; Zhou MT
  |  
 
ganglion-based balance design of multi-layer model and its watchfulness-keeping [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005-01-01, 卷号: 20, 期号: 4, 页码: 567-573
Wei H; Luan SM
  |  
 

1 2 3 4 next

 

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