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

Search Results

Help

Item hits: (Results 11-19 of 19)

Items/Page:    Sort:
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

 
algorithms for computing weak bisimulation equivalence [会议论文]
3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31,
Li Weisong
  |  
 
computing most specific concept in description logic with transitive roles and existential restrictions [期刊论文]
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2009-01-01, 卷号: 46, 期号: 6, 页码: 979-987
Jiang Yuncheng; Tang Suqin; Wang Ju; Zhou Shengming

 
analysis and verification of dynamic stock trading systems [期刊论文]
Information Technology Journal, 2008-01-01, 卷号: 7, 期号: 3, 页码: 466-473
Du Yuyue; Zheng Hong; Yu Shuxia
  |  
 
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
  |  
 
a kernel-based algorithm for multilevel drawing web graphs [会议论文]
Computer Graphics, Imaging and Visualisation: New Advances, CGIV 2007, Bangkok, Thailand, August 13,
Huang Xiaodi; Lai Wei; Zhang Di; Huang Maolin; Nguyen Quang Vinh
  |  
 
核心化多级安全数据库系统未决提交事务日志写出依赖研究 [期刊论文]
计算机学报, 2006-01-01, 卷号: 29, 期号: 8, 页码: 1438-1446
徐震; 张敏
  |  
 
the inductive approach to strand space [会议论文]
25th International Conference on Formal Techniques for Networked and Distributed Systems, Taipei, TAIWAN, OCT 02-05,
Li YJ
  |  
 
基于系统级诊断理论的卫星网络故障诊断 [期刊论文]
电子学报, 2005-01-01, 卷号: 33, 期号: 11, 页码: 2066-2069
侯霞; 范植华; 胡刚
  |  
 

previous 1 2

 

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