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

Search Results

Help

Item hits: (Results 91-100 of 110)

Filters        
Items/Page:    Sort:
retrieving and matching rdf graphs by solving the satisfiability problem [会议论文]
2006 IEEE/WIC/ACM International Conference on Web Intelligence, WI06, Hong Kong, China, 40878
Liu Sheng; Zhang Jian
  |  
 
a high performance solution for automated computer examination systems [会议论文]
2007 1st International Symposium on Information Technologies and Applications in Education, ISITAE 2007, Kunming, China, 40849
Zheng Yujun; Wang Lianlai; Xue Jinyun
  |  
 
symbolic bisimulations for probabilistic systems [会议论文]
4th International Conference on the Quantitative Evaluation of Systems, QEST 2007, Edinburgh, United kingdom, September
Wu Peng; Palamidessi Catuscia; Lin Huimin
  |  
 
connecting algebraic and logical descriptions of concurrent systems [会议论文]
2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006, Paphos, Cyprus, 40848
Zhan Naijun
  |  
 
formal programming for the shortest path and its critical edge problems [会议论文]
2007 IEEE International Conference on Automation and Logistics, ICAL 2007, Jinan, China, August 18,
Zheng Yujun; Xue Jinyun; Shi Haihe
  |  
 
physically based simulation of fluid mixtures [会议论文]
2007 10th IEEE International Conference on Computer Aided Design and Computer Graphics, CAD/Graphics 2007, Beijing, China, 40831
Wu Enhua
  |  
 
on string languages generated by spiking neural p systems [期刊论文]
Fundamenta Informaticae, 2007-01-01, 卷号: 75, 期号: 1-4, 页码: 141-162
Chen Haiming; Freund Rudolf; Ionescu Mihai; Pun Gheorghe; Pérez-Jiménez Mario J.
  |  
 
finding relations among linear constraints [会议论文]
8th International Conference on Artificial Intelligence and Symbolic Computation, Beijing, PEOPLES R CHINA, SEP 20-22,
Yan Jun; Zhang Jian; Xu Zhongxing
  |  
 
eigenvariables, bracketing and the decidability of positive minimal predicate logic [期刊论文]
THEORETICAL COMPUTER SCIENCE, 2006-01-01, 卷号: 360, 期号: 1-3, 页码: 193-208
Dowek Gilles; Jiang Ying
  |  
 
eigenvariables, bracketing and the decidability of positive minimal predicate logic [期刊论文]
THEORETICAL COMPUTER SCIENCE, 2006-01-01, 卷号: 360, 期号: 1-3, 页码: 193-208
Dowek Gilles; Jiang Ying
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 11 next

 

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