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

Search Results

Help

Item hits: (Results 101-110 of 143)

Items/Page:    Sort:
on the structure of binary feedforward inverse finite automata with delay 3 [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2007-01-01, 卷号: 18, 期号: 1, 页码: 40-49
Wang Hong-Ji; Yao Gang
  |  
 
a polynomial dynamic system approach to software design for attractivity requirement [期刊论文]
INFORMATION SCIENCES, 2007-01-01, 卷号: 177, 期号: 13, 页码: 2712-2725
Wang Xiang-Yun; Zhang Wenhui; Li Yong-Chao; Cai Kai-Yuan
  |  
 
volume computation using a direct monte carlo method [会议论文]
13th Annual International Conference on Computing and Combinatorics (COCOON 2007), Banff, CANADA, 44028
Liu Sheng; Zhang Jian; Zhu Binhai
  |  
 
on the complexity and approximation of the min-sum and min-max disjoint paths problems [会议论文]
1st International Conference on Combinatorics, Algorithms, Probabilistic and Experimental Methodologies, Hangzhou, PEOPLES R CHINA, APR 07-09,
Zhang Peng; Zhao Wenbo
  |  
 
enhancing simulation for checking language containment [会议论文]
4th International Conference on Theory and Applications of Models of Computation, Shanghai, PEOPLES R CHINA, MAY 22-25,
Yi Jin; Zhang Wenhui
  |  
 
an implementation of parallel eigenvalue computation using dual-level hybrid parallelism [会议论文]
7th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2007, Hangzhou, China, 37418
Zhao Yonghua; Chi Xuebin; Cheng Qiang
  |  
 
a generalized gelfond-lifschitz transformation for logic programs with abstract constraints [会议论文]
AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference, Vancouver, BC, Canada, 37459
Shen Yi-Dong; You Jia-Huai
  |  
 
efficient blind signatures from linear feedback shift register [会议论文]
4th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2007, Shanghai, China, September
Li Xiangxue; Zheng Dong; Chen Kefei
  |  
 
expansive-bisimulation for context-free processes [会议论文]
Symposium on Formal Methods and Hybrid Real-Time Systems held in Honour of Dines Bjorner/Zhou Chaochen, Macao, PEOPLES R CHINA, SEP 24-25,
Liu Xinxin
  |  
 
stimulating cooperation in route discovery of ad hoc networks [会议论文]
2rd ACM Workshop on Q26 and Security for Wireless and Mobile Networks, Chania, GREECE, 44126
Huang Lei; Li Lei; Liu Lixiang; Zhang Haibin; Tang Linsha
  |  
 

previous 2 3 4 5 6 7 8 9 10 11 12 13 14 15 next

 

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