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

Search Results

Help

Item hits: (Results 91-100 of 143)

Items/Page:    Sort:
analysis and verification of dynamic stock trading systems [期刊论文]
Information Technology Journal, 2008-01-01, 卷号: 7, 期号: 3, 页码: 466-473
Du Yuyue; Zheng Hong; Yu Shuxia
  |  
 
reasoning with recursive loops under the plp framework [期刊论文]
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2008-01-01, 卷号: 9, 期号: 4, 页码: -
Shen Yi-Dong
  |  
 
ehrenfeucht-fraisse games in finite set theory [期刊论文]
INFORMATION PROCESSING LETTERS, 2008-01-01, 卷号: 108, 期号: 1, 页码: 3-9
Zhou Xiang
  |  
 
mitigating selfishness in route discovery of on-demand routing in ad hoc networks [期刊论文]
CHINESE JOURNAL OF ELECTRONICS, 2008-01-01, 卷号: 17, 期号: 2, 页码: 210-214
Lei Huang; Lixiang Liu
  |  
 
decidability of weak bisimilarity for a subset of bpa [期刊论文]
Electronic Notes in Theoretical Computer Science, 2008-01-01, 卷号: 212, 期号: C, 页码: 241-255
Chen Haiyan
  |  
 
basic research in computer science and software engineering at sklcs [期刊论文]
Frontiers of Computer Science in China, 2008-01-01, 卷号: 2, 期号: 1, 页码: 1-11
Zhang Jian; Zhang Wenhui; Zhan Naijun; Shen Yidong; Chen Haiming; Zhang Yunquan; Wang Yongji; Wu Enhua; Wang Hongan; Zhu Xueyang

 
optimal design of aqm routers with d-stable regions based on itae performance [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2007-01-01, 卷号: 18, 期号: 12, 页码: 3092-3103
Wang Xiu-Li; Wang Yong-Ji; Zhou Hui; Cai Kai-Yuan
  |  
 
deforming surface simplification based on feature preservation [会议论文]
6th International Conference of Entertainment Computing, ICEC 2007, Shanghai, China, September
Shixue Zhang; Enhua Wu
  |  
 
htrdp evaluations on chinese information processing and intelligent human-machine interface [期刊论文]
Frontiers of Computer Science in China, 2007-01-01, 卷号: 1, 期号: 1, 页码: 58-93
Liu Qun; Wang Xiangdong; Liu Hong; Sun Le; Tang Sheng; Xiong Deyi; Hou Hongxu; Lv Yuanhua; Li Wenbo; Lin Shouxun; Qian Yueliang
  |  
 
logic programs with abstract constraints: representaton, disjunction and complexities [会议论文]
9th International Conference on Logic Programming and Nonmonotomic Reasoning, LPNMR 2007, Tempe, AZ, United states, 43966
You Jia-Huai; Yuan Li Yan; Liu Guohua; Shen Yi-Dong
  |  
 

previous 1 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