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

Search Results

Help

Item hits: (Results 1-10 of 73)

Items/Page:    Sort:
Efficient approximation of optimal control for continuous-time Markov games [期刊论文]
INFORMATION AND COMPUTATION, 2016-01-01, 卷号: 247, 页码: 106-129
Fearnley, J; Rabe, MN; Schewe, S; Zhang, LJ
  |  
 
A space-efficient simulation algorithm on probabilistic automata [期刊论文]
INFORMATION AND COMPUTATION, 2016-01-01, 卷号: 249, 页码: 138-159
Zhang, LJ; Jansen, DN
  |  
 
Deciding determinism of unary languages [期刊论文]
INFORMATION AND COMPUTATION, 2015-01-01, 卷号: 245, 页码: 181-196
Lu, P; Peng, FF; Chen, HM; Zheng, LX
  |  
 
A Framework to Normalize Ontology Representation for Stable Measurement [期刊论文]
JOURNAL OF COMPUTING AND INFORMATION SCIENCE IN ENGINEERING, 2015-01-01, 卷号: 15, 期号: 4
Ma, YL; Wang, CL; Jin, BH

 
Algorithmic aspects for bi-objective hardware/software partitioning [期刊论文]
Journal of Computational Information Systems, 2014-01-01, 卷号: 10, 期号: 3, 页码: 1195-1202
Shi, Wenjun (1); Duan, Xinming (1); Wu, Jigang (1)

 
A new decimation (p<sup>n/2</sup>)<inf>2</inf>/2+1 of Niho type: p-ary sequences with six-valued cross-correlation function [期刊论文]
Journal of Computational Information Systems, 2013-01-01, 卷号: 9, 期号: 4, 页码: 1361-1367
Sun, Yuhua (1); Li, Hui (1); Wang, Zilong (1); Yan, Tongjiang (2)

 
Multi-sensor Data Fusion Based on Consistency Test and Sliding Window Variance Weighted Algorithm in Sensor Networks [期刊论文]
COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2013-01-01, 卷号: 10, 期号: 1, 页码: 197-214
Shu, Jian; Hong, Ming; Zheng, Wei; Sun, Li-Min; Ge, Xu

 
Universal computably enumerable sets and initial segment prefix-free complexity [期刊论文]
INFORMATION AND COMPUTATION, 2013-01-01, 卷号: 233, 页码: 41-59
Barmpalias, George

 
bind your phone number with caution: automated user profiling through address book matching on smartphone [会议论文]
8th ACM SIGSAC Symposium on Information, Computer and Communications Security, ASIA CCS 2013, Hangzhou, China, May 8, 2013 - May 10, 2013
Cheng Yao; Ying Lingyun; Jiao Sibei; Su Purui; Feng Dengguo

 
design and implementation of testing platform for middleware of wireless sensor networks [会议论文]
6th China Conference of Wireless Sensor Networks, CWSN 2012, Huangshan, China, October 25, 2012 - October 27, 2012
Yan Lipeng; Chang Fei; Qin Weijun; Li Bo; Liu Yan

 

1 2 3 4 5 6 7 8 next

 

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