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

Search Results

Help

Item hits: (Results 131-140 of 193)

Items/Page:    Sort:
what semantic equivalences are suitable for non-interference properties in computer security [会议论文]
9th International Conference on Information and Communications Security, ICICS 2007, Zhengzhou, China, 40878
Huang Xiaowei; Jiao Li; Lu Weiming
  |  
 
an improved algorithm for eleman neural network by adding a modified error function [会议论文]
4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, 43985
Zhang Zhiqiang; Tang Zheng; Tang GuoFeng; Vairappan Catherine; Wang XuGang; Xiong RunQun
  |  
 
usability evaluation of children edutainment software [会议论文]
2nd International Conference on Usability and Internationalization held at the HCI International 2007, Beijing, PEOPLES R CHINA, JUL 22-27,
Wang Danli; Li Jie; Dai Guozhong
  |  
 
weakly distributive domains [会议论文]
8th International Conference on Typed Lambda Calculi and Applications, Paris, FRANCE, JUN 26-28,
Jiang Ying; Zhang Guo-Qiang
  |  
 
attributenets: an incremental learning method for interpretable classification [会议论文]
11th Pacific-Asia Conference on Knowledge Discovery and Data Mining, Nanjing, PEOPLES R CHINA, 43973
Wu Hu; Wang Yongii; Huai Xiaoyong
  |  
 
adaptive user interactive sketching for teaching based on pen gesture [会议论文]
7th International Conference on Engineering Psychology and Cognitive Ergonomics held at the HCI International 2007, Beijing, PEOPLES R CHINA, JUL 22-27,
Yang Haiyan; Ma Cuixia; Teng Dongxing; Dai Guozhong; Wang Hongan
  |  
 
deciding weak bisimilarity of normed context-free processes using tableau [会议论文]
4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007), Macao, PEOPLES R CHINA, SEP 26-28,
Liu Xinxin; Chen Haiyan
  |  
 
one-more extension of paillier inversion problem and concurrent secure identification [会议论文]
4th European Public Key Infrastructure Workshop (EuroPKI 2007), Palma de Mallorca, SPAIN, JUN 28-30,
Song Yan
  |  
 
stable and efficient miscible liquid-liquid interactions [会议论文]
ACM Symposium on Virtual Reality Software and Technology, Newport Beach, CA, NOV 05-07,
Zhu Hongbin; Bao Kai; Wu Enhua; Liu Xuehui
  |  
 
sat-based verification of ltl formulas [会议论文]
11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006)/5th International Workshop on Parallel and Distributed Methods in Verification (PDMC, Bonn, GERMANY, AUG 26-27,
Zhang Wenhui
  |  
 

previous 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 next

 

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