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

Search Results

Help

Item hits: (Results 21-30 of 48)

Items/Page:    Sort:
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
  |  
 
handling synchronization problem in petri net-based system design by property-preserving transition-reduction [期刊论文]
COMPUTER JOURNAL, 2005-01-01, 卷号: 48, 期号: 6, 页码: 692-701
Jiao L; Cheung TY; Lu WM
  |  
 
predicate mu-calculus for mobile ambients [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005-01-01, 卷号: 20, 期号: 1, 页码: 95-104
Lin HM
  |  
 
avoiding the local minima problem in backpropagation algorithm with modified error function [期刊论文]
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2005-01-01, 卷号: E88A, 期号: 12, 页码: 3645-3653
Bi WX; Wang XG; Tang Z; Tamura H
  |  
 
new semantic model for authentication protocols in asms [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004-01-01, 卷号: 19, 期号: 4, 页码: 555-563
Xue R; Feng DG
  |  
 
model checking real-time value-passing systems [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004-01-01, 卷号: 19, 期号: 4, 页码: 459-471
Chen J; Cao ZN
  |  
 
automatic generation of symbolic model for parameterized synchronous systems [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004-01-01, 卷号: 19, 期号: 6, 页码: 812-819
Xu WW
  |  
 

previous 1 2 3 4 5 next

 

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