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

Search Results

Help

Item hits: (Results 1-10 of 50)

Items/Page:    Sort:
analysis and implementation for the algorithm based on combinatorial relaxation for computing the structure index of dae [会议论文]
Asia Simulation Conference and the International Conference on System Simulation and Scientific Computing 2012, AsiaSim and ICSC 2012, Shanghai, China, October 27, 2012 - October 30, 2012
Zeng Yan; Wu Xuesong; Cao Jianwen

 
formal derivation of two algorithms involving sequences [会议论文]
2011 10th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2011, Sanya, Hainan Island, China, May 16, 20
Shi Haihe; Xue Jinyun

 
a graph-based implementation for mechanized refinement calculus of oo programs [会议论文]
13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, 8-Nov
Liu Zhiming; Morisset Charles; Wang Shuling
  |  
 
local search with edge weighting and configuration checking heuristics for minimum vertex cover [会议论文]
Cai Shaowei; Su Kaile; Sattar Abdul
  |  
 
testing in parallel: a need for practical regression testing [会议论文]
5th International Conference on Software and Data Technologies, ICSOFT 2010, Athens, Greece, 37459
Zhang Zhenyu; Tong Zijian; Gao Xiaopeng

 
intelligent understanding of handwritten geometry theorem proving [会议论文]
14th ACM International Conference on Intelligent User Interfaces, IUI 2010, Hong Kong, China, 40581
Jiang Yingying; Tian Feng; Wang Hongan; Zhang Xiaolong; Wang Xugang; Dai Guozhong
  |  
 
a-team based supply chain management agent architecture [期刊论文]
INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, 2009-01-01, 卷号: 18, 期号: 6, 页码: 801-823
Zheng Yujun; Wang Jinquan; Xue Jinyun

 
path planner for unmanned aerial vehicles based on modified pso algorithm [会议论文]
IEEE International Conference on Information and Automation, Changsha, PEOPLES R CHINA, JUN 20-23,
Zhu Hongguo; Zheng Changwen; Hu Xiaohui; Li Xiang
  |  
 
identity-based threshold key-insulated encryption without random oracles [会议论文]
Cryptographers Track at the RSA Conference, CT-RSA 2008, San Francisco, CA, United states, 37354
Weng Jian; Liu Shengli; Chen Kefei; Zheng Dong; Qiu Weidong
  |  
 
simplifying 3d polygonal chains under the discrete fréchet distance [会议论文]
8th Latin American TheoreticalINformatics Symposium, LATIN 2008, Buzios, Brazil, 37353
Bereg Sergey; Jiang Minghui; Wang Wencheng; Yang Boting; Zhu Binhai
  |  
 

1 2 3 4 5 next

 

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