高级检索   注册
ISCAS OpenIR  > 软件所图书馆  > 会议论文

浏览所有条目

按标题快速跳转
请选择题名首字母 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
输入前几个字母(或汉字)   
按发表日期快速跳转
日期跳转:
 
1054条检索结果中的1-20条条目
条数/页:   其他排序方式:
题名作者发表日期▼ 全文
Efficient texture synthesis of aggregate solid material [会议论文]Shu, Yue (1); Qian, Yinling (3); Sun, Hanqiu (3); Chen, Yanyun (1)2014
Denial-of-service security attack in the continuous-time world [会议论文]Wang, Shuling (1); Nielson, Flemming (2); Nielson, Hanne Riis (2)2014
Dynamic BFECC Characteristic Mapping method for fluid simulations [会议论文]Li, Xiaosheng (1); Liu, Le (1); Wu, Wen (3); Liu, Xuehui (1); Wu, Enhua (1)2014
Real-time depth-of-field rendering using single-layer composition [会议论文]Fang, Xiaoxin (1); Sheng, Bin (1); Wu, Wen (3); Fan, Zengzhi (1); Ma, Lizhuang (1)2014
IscasMc: A web-based probabilistic model checker [会议论文]Hahn, Ernst Moritz (1); Li, Yi (2); Schewe, Sven (3); Turrini, Andrea (1); Zhang, Lijun (1)2014
Formal verification of a descent guidance control program of a lunar lander [会议论文]Zhao, Hengjun (1); Yang, Mengfei (2); Zhan, Naijun (1); Gu, Bin (3); Zou, Liang (1); Chen, Yao (3)2014
Differential cryptanalysis and linear distinguisher of full-round Zorro [会议论文]Wang, Yanfeng (1); Wu, Wenling (1); Guo, Zhiyuan (1); Yu, Xiaoli (1)2014
Efficient detection of emergency event from moving object data streams [会议论文]Guo, Limin (1); Huang, Guangyan (2); Ding, Zhiming (1)2014
Super-dense computation in verification of hybrid CSP processes [会议论文]Guelev, Dimitar P. (1); Wang, Shuling (2); Zhan, Naijun (2); Zhou, Chaochen (2)2014
A Novel privacy-preserving group matching scheme in social networks [会议论文]Chi, Jialin (1); Lv, Zhiquan (1); Zhang, Min (1); Li, Hao (1); Hong, Cheng (1); Feng, Dengguo (1)2014
LSG: A unified multi-dimensional latent semantic graph for personal information retrieval [会议论文]Huangfu, Yang (1); Liu, Kuien (1); Zhang, Wen (1); Zhou, Peng (1); Wu, Yanjun (1); Wang, Qing (1); Zhu, Jia (4)2014
Water extraction in high resolution remote sensing image based on hierarchical spectrum and shape features [会议论文]Li, Bangyu (1); Zhang, Hui (1); Xu, Fanjiang (1)2014
Aerial image series quality assessment [会议论文]Zhang, Hui (1); Li, Bangyu (1); Zhang, Jinfang (1); Xu, Fanjiang (1)2014
Polymorphic functions with set-theoretic types - Part 1: Syntax, semantics, and evaluation [会议论文]Castagna, Giuseppe (1); Nguyen, Kim (2); Xu, Zhiwu (1); Im, Hyeonseung (2); Lenglet, Sergueï (4); Padovani, Luca (5)2014
A Modified Algorithm for Missing Values in Data Stream Decision Tree Classification [会议论文]Hou, Xu-shan; Lv, Pin; Wang, Hao2014
A QoS-Based and Similarity-Based Service Composition Method [会议论文]Lin, Ling; Peng, Qi-min2014
Stereoscopic visual fatigue assessment and modeling [会议论文]Wang, Danli (1); Wang, Tingting (1); Gong, Yue (1)2014
Anisotropic progressive photon mapping [会议论文]Liu, XiaoDan (1); Zheng, ChangWen (1)2014
A feature-enriched tree kernel for relation extraction [会议论文]Sun, Le (1); Han, Xianpei (1)2014
Reflection cryptanalysis of PRINCE-like ciphers [会议论文]Soleimany, Hadi (1); Blondeau, Cé line (1); Yu, Xiaoli (2); Wu, Wenling (2); Nyberg, Kaisa (1); Zhang, Huiling (2); Zhang, Lei (2); Wang, Yanfeng (2)2014

 

Valid XHTML 1.0! 版权所有 © 2007-2012  中国科学院软件研究所  -反馈
系统开发与技术支持:中国科学院国家科学图书馆兰州分馆(信息系统部)
本系统基于 MIT 和 Hewlett-Packard 的 DSpace 软件开发