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

Search Results

Help

Item hits: (Results 1-6 of 6)

Filters        
Items/Page:    Sort:
generation of triangular mesh with specified size by circle packing [期刊论文]
ADVANCES IN ENGINEERING SOFTWARE, 2007-01-01, 卷号: 38, 期号: 2, 页码: 133-142
Wang W. X.; Ming C. Y.; Lo S. H.
  |  
 
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
  |  
 
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
  |  
 
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
  |  
 

1

 

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