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

Search Results

Help

Item hits: (Results 1-4 of 4)

Items/Page:    Sort:
formal derivation of a high-trustworthy generic algorithmic program for solving a class of path problems [会议论文]
3rd International Frontiers of Algorithmics Workshop, FAW 2009, Hefei, China, 37427
Wang Changjing; Xue Jinyun

 
cfi construction and balanced graphs [会议论文]
3rd International Workshop on Frontiers in Algorithmics, Hefei, PEOPLES R CHINA, JUN 20-23,
Zhou Xiang

 
the bdd-based dynamic a* algorithm for real-time replanning [会议论文]
3rd International Workshop on Frontiers in Algorithmics, Hefei, PEOPLES R CHINA, JUN 20-23,
Xu Yanyan; Yue Weiya; Su Kaile

 
toward an automatic approach to greedy algorithms [会议论文]
3rd International Workshop on Frontiers in Algorithmics, Hefei, PEOPLES R CHINA, JUN 20-23,
Zheng Yujun; Xue Jinyun; Zuo, ZhengKang(左正康)

 

1

 

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