中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-7 of 7)

Items/Page: Sort:
	approximating linear order inference in owl 2 dl by horn compilation [会议论文] 2012 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2012, Macau, China, December 4, 2012 - December 7, 2012 Du Jianfeng; Qi Guilin; Pan Jeff Z.; Shen Yi-Dong
	robust maximum likelihood estimation by sparse bundle adjustment using the l1 norm [会议论文] 2012 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2012, Providence, RI, United states, June 16, 2012 - June 21, 2012 Dai Zhijun; Zhang Fengjun; Wang Hongan
	a three-level verification approach on wireless communication controller system [会议论文] 2011 International Conference on Computer Science and Network Technology, ICCSNT 2011, Harbin, China, December 24, 2011 - December 26, 2011 Fan Linlin; Liao Mingxue; He Xiaoxin
	formal verification on distributed spectrum sensing protocol [会议论文] 2011 International Conference on Computer Science and Network Technology, ICCSNT 2011, Harbin, China, December 24, 2011 - December 26, 2011 Liu Jin-Bo; Liao Ming-Xue; Hu Xiao-Hui; He Xiao-Xin
	distributed utilization control for real-time clusters with load balancing [会议论文] 27th IEEE International Real-Time Systems Symposium, Rio de Janeiro, BRAZIL, DEC 05-08, Fu Yong; Wang Hongan; Lu Chenyang; Chandra Ramu Sharat \|
	distributed utilization control for real-time clusters with load balancing [会议论文] 27th IEEE International Real-Time Systems Symposium, Rio de Janeiro, BRAZIL, DEC 05-08, Fu Yong; Wang Hongan; Lu Chenyang; Chandra Ramu Sharat \|
	an efficient multicast protocol in mobile ipv6 networks [会议论文] IEEE Wireless Communications and Networking Conference, Atlanta, GA, MAR 21-25, Sun LM; Liao Y; Zheng JP; Wu YC; Ma J \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In