Search Results

Item hits: (Results 101-110 of 143)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectSubmitted Time AscendingSubmitted Time DescendingAuthor AscendingAuthor DescendingTitle AscendingTitle DescendingIssue Date AscendingIssue Date Descending
	on the structure of binary feedforward inverse finite automata with delay 3 [期刊论文] Ruan Jian Xue Bao/Journal of Software, 2007-01-01, 卷号: 18, 期号: 1, 页码: 40-49 Wang Hong-Ji; Yao Gang   |
	a polynomial dynamic system approach to software design for attractivity requirement [期刊论文] INFORMATION SCIENCES, 2007-01-01, 卷号: 177, 期号: 13, 页码: 2712-2725 Wang Xiang-Yun; Zhang Wenhui; Li Yong-Chao; Cai Kai-Yuan   |
	volume computation using a direct monte carlo method [会议论文] 13th Annual International Conference on Computing and Combinatorics (COCOON 2007), Banff, CANADA, 44028 Liu Sheng; Zhang Jian; Zhu Binhai   |
	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   |
	enhancing simulation for checking language containment [会议论文] 4th International Conference on Theory and Applications of Models of Computation, Shanghai, PEOPLES R CHINA, MAY 22-25, Yi Jin; Zhang Wenhui   |
	an implementation of parallel eigenvalue computation using dual-level hybrid parallelism [会议论文] 7th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2007, Hangzhou, China, 37418 Zhao Yonghua; Chi Xuebin; Cheng Qiang   |
	a generalized gelfond-lifschitz transformation for logic programs with abstract constraints [会议论文] AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference, Vancouver, BC, Canada, 37459 Shen Yi-Dong; You Jia-Huai   |
	efficient blind signatures from linear feedback shift register [会议论文] 4th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2007, Shanghai, China, September Li Xiangxue; Zheng Dong; Chen Kefei   |
	expansive-bisimulation for context-free processes [会议论文] Symposium on Formal Methods and Hybrid Real-Time Systems held in Honour of Dines Bjorner/Zhou Chaochen, Macao, PEOPLES R CHINA, SEP 24-25, Liu Xinxin   |
	stimulating cooperation in route discovery of ad hoc networks [会议论文] 2rd ACM Workshop on Q26 and Security for Wireless and Mobile Networks, Chania, GREECE, 44126 Huang Lei; Li Lei; Liu Lixiang; Zhang Haibin; Tang Linsha   |

previous 2 3 4 5 6 7 8 9 10 11 12 13 14 15 next