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

Search Results

Help

Item hits: (Results 71-80 of 143)

Items/Page:    Sort:
timed modeling and verification of bpel processes using time petri nets [会议论文]
9th International Conference on Quality Software, QSIC 2009, Jeju, Korea, Republic of, August 24,
Song Wei; Ma Xiaoxing; Ye Chunyang; Dou Wanchun; L&#; Jian

 
svm based decision analysis and its granular-based solving [会议论文]
International Conference on Computational Science and Its Applications, ICCSA 2009, Seoul, Korea, Republic of, 37436
Yang Tian; Lu Xinjie; Liao Zaifei; Liu Wei; Wang Hongan

 
approximation and hardness results for label cut and related problems [会议论文]
6th Annual Conference on Theory and Applications of Models of Computation, TAMC 2009, Changsha, China, 43969
Zhang Peng; Cai Jin-Yi; Tang Linqing; Zhao Wenbo

 
checking timed buchi automata emptiness using lu-abstractions [学位论文]
, 2009-01-01
Li Guangyuan

 
a category theoretic approach to search algorithms: towards a unified implementation for branch-and-bound and backtracking [会议论文]
4th International Conference on Computer Science and Education, Nanning, PEOPLES R CHINA, JUL 25-28,
Zheng Yujun; Xue Jinyun; Shi Haihe

 
algorithms for computing weak bisimulation equivalence [会议论文]
3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31,
Li Weisong
  |  
 
a service discovery system analyzed with a queueing theory model [会议论文]
IEEE 33rd International Computer Software and Applications Conference, Seattle, WA, JUL 20-24,
Jin Beihong; Weng Haibin; Wen Yunfeng; Zhang Faen

 
practical hybrid pre-filtering shadow maps [学位论文]
, 2009-01-01
Lv Weiwei; Liu Xuehui; Lu Jian; Wu Enhua

 
cloud theory-based simulated annealing algorithm and application [期刊论文]
ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2009-01-01, 卷号: 22, 期号: 4-5, 页码: 742-749
Lv Pin; Yuan Lin; Zhang Jinfang
  |  
 
study on the correlation between randomness tests based on entropy [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2009-01-01, 卷号: 20, 期号: 7, 页码: 1967-1976
Fan Li-Min; Feng Deng-Guo; Chen Hua

 

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