机构

• 软件研究所 [6]
• 新疆生态与地理研究所 [2]
• 长春光学精密机械与物... [2]
• 自动化研究所 [1]

采集方式

• OAI收割 [11]

内容类型

• 会议论文 [8]
• 期刊论文 [2]
• 学位论文 [1]

发表日期

• 2012 [1]
• 2010 [1]
• 2009 [4]
• 2008 [3]
• 2007 [1]
• 2006 [1]
• 更多

学科主题

• Computer S... [2]
• Hardware &... [1]
• Software ... [1]

筛选

浏览/检索结果: 共11条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 Eight-neighborhood based background modeling (EI CONFERENCE) 会议论文  OAI收割 2012 2nd International Conference on Materials Science and Information Technology, MSIT 2012, August 24, 2012 - August 26, 2012, Xi'an, Shaan, China Yan L.; Ming D.; Lei J. 收藏  |  浏览/下载：11/0  |  提交时间：2013/03/25 In order to solve the Gaussian kernel density-based background modeling  we propose a background modeling method based on an 8-neighborhood pixels sample set. In this method  we use the target pixel and its surrounding 8-neighborhood pixels to analyze whether it is included in the background or in the foreground sample space. Experimental results show that the method can judge the object as the background interference caused by the cyclical movement. By practical verification  the algorithm of the background modeling can full meet the requirements of the target detection algorithm. (2012) Trans Tech Publications  Switzerland.   基于一阶迁移系统的限界模型检测工具实现 期刊论文  OAI收割 计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 118-121,136 冯庆奎 收藏  |  浏览/下载：27/0  |  提交时间：2011/05/23 限界模型检测  一阶迁移系统  通道  验证算法  协议分析bounded model checking  first order transition system  channel  verification algorithm  protocol analysis   a sentence generation algorithm for testing grammars 会议论文  OAI收割 IEEE 33rd International Computer Software and Applications Conference, Seattle, WA, JUL 20-24, Zheng Lixiao; Wu Duanyi   |  收藏  |  浏览/下载：32/0  |  提交时间：2011/03/20 by-now folklore sentence generation algorithm  complicated derivation structure  context-free grammar testing  error location  grammar debugging  length control mechanism  user validation  context-free grammars  program debugging  program testing  program verification   algorithms for computing weak bisimulation equivalence 会议论文  OAI收割 3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31, Li Weisong   |  收藏  |  浏览/下载：27/0  |  提交时间：2011/03/20 formal verification  model checking  time complexity  transitional relation graph  unlabeled Kripke structure  weak bisimulation equivalence algorithm  computational complexity  formal verification  graph theory   improved bounded model checking for the universal fragment of ctl 期刊论文  OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, 卷号: 24, 期号: 1, 页码: 96-109 Xu Liang; Chen Wei; Xu Yan-Yan; Zhang Wen-Hui   |  收藏  |  浏览/下载：20/0  |  提交时间：2011/03/18 software verification  model checking algorithm  bounded model checking  ACTL  SAT   Research on a scalable parallel data mining algorithm 会议论文  OAI收割 5th International Joint Conference on INC, IMS, and IDC, Seoul, Korea, Republic of, 2009 Wang; Jinlin1; 2; Chen; Xi1; Zhou; Kefa1 收藏  |  浏览/下载：29/0  |  提交时间：2011/08/23 Computational complexity - Computational efficiency - Information management - Parallel algorithms - Research - Semiconductor storage - Active field - Data mining algorithm - Domain of knowledge - Experimental verification - Hardware and software - Massive data - Network monitoring systems - Parallel data mining - Projection database - Real-world application - Sensor grids - Sequential patterns - Sequential-pattern mining - Spatial complexity - Streaming data   generating algorithms plus loop invariants by formal derivation 会议论文  OAI收割 7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16, Shi Haihe; Du Dawei; Xue Jinyun   |  收藏  |  浏览/下载：21/0  |  提交时间：2011/06/13 MergeSort algorithm  formal development process  formal specification  insertion sort  loop invariant  nonrecursive algorithmic solution  provably correct algorithmic program  program control structures  program verification  sorting   a mechanical approach for deriving algorithmic programs 会议论文  OAI收割 7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16, Shi Haihe; Xue Jinyun; Du Dawei   |  收藏  |  浏览/下载：24/0  |  提交时间：2011/06/13 MPAR  algorithm correctness  automatic algorithm design  executable language program  formal algorithm program derivation  mechanical partition-and-recur approach  problem specification  software reliability  formal specification  program verification  software rel   Parallel research of sequential pattern data mining algorithm 会议论文  OAI收割 Proceedings - International Conference on Computer Science and Software Engineering, CSSE, Wuhan, Hubei, China, 2008 Wang; Jinlin1; 2; Chen; Xi1; Zhou; Kefa1; Wei1 收藏  |  浏览/下载：26/0  |  提交时间：2011/08/23 Algorithms - Parallel architectures - Software engineering - Data mining algorithm - Experimental verification - Frequent sequences - Massive data - Minimal support - Number of datum - Parallel data mining - Sequential patterns   电话语音环境的鲁棒说话人识别 学位论文  OAI收割 工学博士, 中国科学院自动化研究所: 中国科学院研究生院, 2007 作者:  郑榕 收藏  |  浏览/下载：89/0  |  提交时间：2015/09/02 说话人辨认  说话人确认  高斯混合模型-全局背景模型  支持向量机  规整算法  质量估计  说话人分割  speaker identification  speaker verification  GMM-UBM  SVM  Normalization algorithm  quality measurement  speaker segmentation