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

Search Results

Help

Item hits: (Results 1-10 of 15)

Filters    
Items/Page:    Sort:
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
  |  
 
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
  |  
 
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
  |  
 
an orientation update message filtering algorithm in collaborative virtual environments [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004-01-01, 卷号: 19, 期号: 3, 页码: 423-429
Zhang MJ; Georganas ND
  |  
 
decomposing a kind of weakly invertible finite automata with delay 2 [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003-01-01, 卷号: 18, 期号: 3, 页码: 354-360
Yao G
  |  
 
a context-aware infrastructure for supporting applications with pen-based interaction [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003-01-01, 卷号: 18, 期号: 3, 页码: 343-353
Li Y; Guan ZW; Dai GZ; Ren XS; Han Y
  |  
 

1 2 next

 

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