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

Search Results

Help

Item hits: (Results 1-8 of 8)

Filters    
Items/Page:    Sort:
probabilistic bisimulations for quantum processes [期刊论文]
INFORMATION AND COMPUTATION, 2007-01-01, 卷号: 205, 期号: 11, 页码: 1608-1639
Feng Yuan; Duan Runyao; Ji Zhengfeng; Ying Mingsheng
  |  
 
minimizing makespan with release times on identical parallel batching machines [期刊论文]
DISCRETE APPLIED MATHEMATICS, 2005-01-01, 卷号: 148, 期号: 1, 页码: 127-134
Li SG; Li GJ; Zhang SQ
  |  
 
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
  |  
 
finite element mesh generation over intersecting curved surfaces by tracing of neighbours [期刊论文]
FINITE ELEMENTS IN ANALYSIS AND DESIGN, 2005-01-01, 卷号: 41, 期号: 4, 页码: 351-370
Lo SH; Wang WX
  |  
 
property-preserving subnet reductions for designing manufacturing systems with shared resources [期刊论文]
THEORETICAL COMPUTER SCIENCE, 2005-01-01, 卷号: 332, 期号: 1-3, 页码: 461-485
Huang HJ; Jiao L; Cheung TY
  |  
 
proof of chvatals conjecture on maximal stable sets and maximal cliques in graphs [期刊论文]
JOURNAL OF COMBINATORIAL THEORY SERIES B, 2004-01-01, 卷号: 91, 期号: 2, 页码: 301-325
Deng XT; Li GJ; Zang WN
  |  
 
coevolving and cooperating path planner for multiple unmanned air vehicles [期刊论文]
ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2004-01-01, 卷号: 17, 期号: 8, 页码: 887-896
Zheng CW; Ding MY; Zhou CP; Li L
  |  
 
hyo-xtm: a set of hyper-graph operations on xml topic map toward knowledge management [期刊论文]
FUTURE GENERATION COMPUTER SYSTEMS, 2004-01-01, 卷号: 20, 期号: 1, 页码: 81-100
Dong Y; Li MS
  |  
 

1

 

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