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

Search Results

Help

Item hits: (Results 1-7 of 7)

Filters        
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
  |  
 

1

 

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