检索结果-内蒙古大学图书馆

European Signal Processing Conference

作者： Wael Saafin Miguel Vega Rafael Molina Aggelos K. Katsaggelos Dept. of Computer Science and Artificial Intellegence University of Granada Granada Spain Dept. of Languages and Information Systems University of Granada Granada Spain Dept. of Electrical Engineering and Computer Science Northwestern University Evanston USA

ISBN: (纸本)9781509018918

In this work we estimate Super Resolution (SR) images from a sequence of true color Compressed Sensing (CS) observations. The red, green, blue (RGB) channels are sensed separately using a measurement matrix that can be synthesized practically. The joint optimization problem to estimate the registration parameters, and the High Resolution (HR) image is transformed into a sequence of unconstrained optimization sub-problems using the Alternate Direction Method of Multipliers (ADMM). A new, simple, and accurate, image registration procedure is proposed. The performed experiments show that the proposed method compares favorably to existing color CS reconstruction methods at unity zooming factor (P), obtaining very good performance varying P and the compression factor simultaneously. The algorithm is tested on real and synthetic images.

关键词： Image color analysis Optimization Image reconstruction Europe Compressed sensing Image resolution Color Compressed sensing image colour analysis image resolution super-resolution image reconstruction color image measurement matrix P factor Compressibility factors true color red-green-blue colour model

来源：评论

学校读者我要写书评

暂无评论

Design of an enhanced authentication protocol and its verification using AVISPA

Design of an enhanced authentication protocol and its verifi...

引用

International Conference on Recent Advances in information Technology (RAIT)

作者： Ruhul Amin SK Hafizul Islam Arijit Karati G. P. Biswas Dept. of Computer Science and Engineering Indian School of Mines Dhanbad India Department of Computer Science and Information Systems Birla Institute of Technology and Science Pilani Rajasthan India

ISBN: (纸本)9781479985807

In the password based authenticated protocol, protecting off-line guessing attack is quite intricate owing to its low entropy property. In order to withstand it, three-factor (e.g., biometric, smartcard and password) authentication now becoming an important research paradigm in information security. Cheng et al.'s suggested an authenticated and key negotiation protocol using biometric and Quadratic Residue Problem (QRP), and they claim that it is robust against known attacks. However, our careful observation demonstrates that the protocol endures from a variety of security loopholes. We further observed that the protocol does not hold mutual authentication property. To conquer the security vulnerability, we aim to design an extended authentication protocol. The results obtained from AVISPA simulation assuarence against the security attacks. Further cryptanalysis on our scheme shows that it resists all known attacks. We found satisfactory results by comparing with Cheng et al.'s protocol.

关键词： Protocols Authentication Servers information technology computer science Robustness

来源：评论

学校读者我要写书评

暂无评论

Multiple influence maximization in social networks 10

Multiple influence maximization in social networks

引用

10th International Conference on Ubiquitous information Management and Communication, IMCOM 2016

作者： Sun, Honglin Gao, Xiaofeng Chen, Guihai Gu, Jian Wang, Yongjian Shanghai Key Lab. of Scalable Computing and Systems Dept. of Computer Science and Engineering Shanghai Jiao Tong University Shanghai China Key Laboratory of Information Network Security of Ministry of Public Security Third Research Institute of Ministry of Public Security Shanghai China

ISBN: (纸本)9781450341424

Influence Maximization, a technique of social analysis to help marketers select a small group of users to promote their products with the goal of maximizing their influence spread, has been studied for a long time. However, previous researches did not consider the scenario that a company may intend to promote serval kinds of products in the same social network, where each user has different preferences for different categories. Considering this scenario in this paper, we propose the Multiple Influence Maximization (MIM) problem based on the assumption that one seed user can accept serval kinds of goods for free, and at the same time non-seed users have enough purchasing power to accept different promotions from their social friends. To address this issue, we design the corresponding greedy algorithm framework with an approximate radio of 1-1/e if the influence function is submodular. Besides, to simplify the computation of influence spread and considering the properties of real social influence propagation, we propose a novel influence quantitative computation model in which influence function fortunately is submodular. Applying this model into our MIM problem, the experiment results show that the greedy algorithm out-performs serval traditional heuristics in influence spread without loss of performance. © 2015 ACM.

关键词： Method of moments

来源：评论

学校读者我要写书评

暂无评论

Review on requirements modeling and analysis for self-adaptive systems. A ten-year perspective

arXiv

引用

arXiv 2017年

作者： Yang, Zhuoqun Lib, Zhi Jin, Zhi Zhang, He Institute of Mathematics Academy of Mathematics and Systems Science Chinese Academy of Sciences Haidian Dstr. Beijing100190 China Software Engineering Dept. College of Computer Science and Information Technology Guangxi Normal University Guilin Guangxi541004 China Peking University Haidian Dstr. Beijing100871 China State Key Laboratory of Novel Software Technology Software Institute Nanjing University Hankou Road Nanjing Jiangsu210093 China

Context: Over the last decade, software researchers and engineers have developed a vast body of methodologies and technologies in requirements engineering for self-adaptive systems. Although existing studies have explored various aspects of this field, no systematic study has been performed on summarizing modeling methods and corresponding requirements activities. Objective: This study summarizes the state-of-the-art research trends, details the modeling methods and corresponding requirements activities, identifies relevant quality attributes and application domains and assesses the quality of each study. Method: We perform a systematic literature review underpinned by a rigorously established and reviewed protocol. To ensure the quality of the study, we choose 21 highly regarded publication venues and 8 popular digital libraries. In addition, we apply text mining to derive search strings and use Kappa coefficient to mitigate researchers' disagreements. Results: We selected 109 papers during the period of 2003-2013 and presented the research distributions over various kinds of factors. We extracted 29 modeling methods which are classified into 8 categories and identified 14 requirements activities which are classified into 4 requirements timelines. We captured 8 concerned software quality attributes based on the ISO 9126 standard and 12 application domains. Conclusion: The frequency of application of modeling methods varies greatly. Enterprise models were more widely used while behavior models were more rigorously evaluated. Requirements-driven runtime adaptation was the most frequently studied requirements activity. Activities at runtime were conveyed with more details. Finally, we draw other conclusions by discussing how well modeling dimensions were considered in these modeling methods and how well assurance dimensions were conveyed in requirements *** Codes 68N30 Copyright © 2017, The Authors. All rights reserved.

关键词： Requirements engineering

来源：评论

学校读者我要写书评

暂无评论

An empirical study of security of VoIP system

An empirical study of security of VoIP system

引用

science and information Conference (SAI)

作者： Ahmad Ghafarian Seyed Amin Hosseini Seno Maria Dehghani Dept. of Computer Science and Information Systems University of North Georgia Dahlonega GA USA Department of Computer Engineering Ferdowsi University of Mashhad Mashhad Iran

ISBN: (纸本)9781467384612

As VoIP (Voice-over-IP) Services are becoming more popular, various types of attacks against them are increasing. The main protocol that is used in VoIP is SIP. SIP is subject to various types of attacks including Denial-of-Service (DoS) attack. This paper reports our experiment of simulating VoIP system using existing open source tools and technology. The simulated VoIP system is used to demonstrate a normal VoIP communication, launching DoS flooding attacks against SIP and implementing a successful Snort-based Intrusion Detection System (IDS) capable of catching suspicious SIP messages. Additionally, we propose a new VoIP architecture which is based on buffering all incoming messages from clients with the intention of processing the messages in the buffer before they are forwarded to the destination.

关键词： Servers computer crime Floods Protocols Bandwidth Linux

来源：评论

学校读者我要写书评

暂无评论

Mobility Vector based Neighbour Selection in Mobile WSN with Multichannel MAC

Mobility Vector based Neighbour Selection in Mobile WSN with...

引用

International Conference on Communication systems.and Networks

作者： V. Sreejith Prateek Khandelwal K. R. Anupama Lucy J. Gudino Dept. of Computer Science and Information Systems BITS-Pilani K K Birla Dept. of Electrical Electronics and Instrumentation Engineering BITS-Pilani K K Birla

ISBN: (纸本)9781467396233

Scenarios where the sensor nodes themselves are mobile, introduces a new dimension of problems in sensor network. This paper presents a mobility vector based neighbour selection for a mixed deployment of mobile and static Wireless Sensor Network. The proposed approach uses the velocity of the mobile node and the residual energy of the static node to select a neighbour. Multichannel based MAC protocol is adopted for an interference free communication. The protocol was simulated and evaluated against MA-MAC protocol. Simulation results indicate that the proposed approach performs better. Proof of Concept of proposed approach was done using Berkley motes.

关键词： Mobility Vector Mobility MAC Mobile WSN Test-bed

来源：评论

学校读者我要写书评

暂无评论

Extraction of human action elements with transition network of partial time series data modeled by Hidden Markov Model

Extraction of human action elements with transition network ...

引用

Annual Conference of Industrial Electronics Society

作者： Kae Doki Akihiro Torii Suguru Mototani Yuki Funabora Shinji Doki Kohjiro Hashimoto Dept. of Electrical Engineering Aichi Institute of Technology Aichi Japan Dept. of Electrical Engineering and Computer Science Nagoya University Aichi Japan Dept. of Control and Information Systems Engineering National Institute of Technology Kumamoto Japan

The authors have researched on a method of human action modeling to realize systems.such as to support human human operations or watch persons to prevent various kinds of accidents. In order to recognize or support various kinds of human actions, a certain human action model is necessary in these systems. Therefore, we have proposed a modeling method of human actions, which is extracted statistically from enormous data acquired from various kinds of sensors by long-term observation of human actions and situations around persons. However, human action elements composing a model should have been extracted heuristically by a designer. In this paper, an extraction method of human action elements is proposed in order to extract frequent human action elements automatically from acquired data. In the proposed method, a series of acquired time series data is divided into short partial ones, which are modeled by Hidden Markov Models(HMM). Then, the transition network of generated HMMs is constructed based on the likelihood between the original data and each HMM. In the obtained network, a transition sequence with the only one edge is regarded as a frequent human action element. Extraction results with artificial and actual human action data are shown in this paper in order to verify the usefulness of the proposed method.

关键词： Hidden Markov models Time series analysis Data models Data mining Robot sensing systems

来源：评论

学校读者我要写书评

暂无评论

Algorithms for determining semantic relations of formal concepts by cognitive machine learning based on concept algebra

Algorithms for determining semantic relations of formal conc...

引用

IEEE International Conference on Cognitive Informatics

作者： Mehrdad Valipour Yingxu Wang Omar A. Zatarain Marina L. Gavrilova Denotational Mathematics Software Science and Cognitive Systems Dept. of Electrical and Computer Engineering University of Calgary Calgary Alberta Canada Information Systems Lab Packard Dept. of Electrical Engineering Stanford University Stanford CA USA

ISBN: (纸本)9781509038473

It is recognized that the semantic space of knowledge is a hierarchical concept network. This paper presents theories and algorithms of hierarchical concept classification by quantitative semantic relations via machine learning based on concept algebra. The equivalence between formal concepts are analyzed by an Algorithm of Concept Equivalence Analysis (ACEA), which quantitatively determines the semantic similarity of an arbitrary pair of formal concepts. This leads to the development of the Algorithm of Relational Semantic Classification (ARSC) for hierarchically classify any given concept in the semantic space of knowledge. Experiments applying Algorithms ACEA and ARSC on 20 formal concepts are successfully conducted, which encouragingly demonstrate the deep machine understanding of semantic relations and their quantitative weights beyond human perspectives on knowledge learning and natural language processing.

关键词： Writing Instruments Decision support systems Ink Animals Handheld computers Lead

来源：评论

学校读者我要写书评

暂无评论

An Intraoperative Glucose Control Benchmark for Formal Verification

引用

IFAC-PapersOnLine 2015年第27期48卷 211-217页

作者： Chen, Sanjian O'Kelly, Matthew Weimer, James Sokolsky, Oleg Lee, Insup Dept. of Computer and Information Science University of Pennsylvania Philadelphia United States Dept. of Electrical and Systems Engineering University of Pennsylvania Philadelphia United States

Diabetes associated complications are affecting an increasingly large population of hospitalized patients. Since glucose physiology is significantly impacted by patient-specific parameters, it is critical to verify that a clinical glucose control protocol is safe across a wide patient population. A safe protocol should not drive the glucose level into dangerous low (hypoglycemia) or high (hyperglycemia) ranges. Verification of glucose controllers is challenging due to the high-dimensional, non-linear glucose physiological models which contain both unobservable states and unmeasurable patient-specific parameters. This paper presents a hybrid system model of a closed-loop physiological system that includes an existing FDA-accepted high-fidelity physiological model tailored to intraoperative settings and a validated improvement to a clinical glucose control protocol for diabetic cardiac surgery patients. We propose the closed-loop model as a physiological system benchmark for verification and present our initial results on verifying the system using the SMT-based hybrid system verification tool dReach. © 2015, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.

关键词： Physiological models Cardiovascular surgery Closed loop control systems Controllers Formal verification Glucose Hybrid systems Medical applications Physiology Closed loop controllers Glucose control Glucose control protocols Hybrid system models Patient specific parameters Physiological systems Safety analysis System verifications

来源：评论

学校读者我要写书评

暂无评论

Neural Incremental Attribute Learning Based on Principal Component Analysis

Neural Incremental Attribute Learning Based on Principal Com...

引用

2016 IEEE International Conference on Big Data Analysis

作者： Ting Wang Wei Zhou Xiaoyan Zhu Fangzhou Liu Sheng-Uei Guan State Key Laboratory of Intelligent Technology and Systems Tsinghua University Wuxi Research Institute of Applied Technologies Tsinghua University Dept. of Computer Science University of Liverpool Dept. of Computer Science and Software Engineering Xi'an Jiaotong-Liverpool University

ISBN: (纸本)9781467395922

Feature Extraction(FE) based on Principal Component Analysis(PCA) can effectively improve classification results by reducing the interference among features. However, such a good method has not been employed in previous studies of Incremental Attribute Learning(IAL), a novel machine learning strategy, where features are gradually trained one by one in order to remove interference among features and improve classification results. This study proposed a preprocessing for neural IAL algorithm based on feature extraction with PCA. Experimental results show that this approach is not only very efficient, but also applicable for pattern classification performance improvement.

关键词： pattern Classification Feature Extraction Principal Component Analysis Neural Networks Incremental Attribute Learning

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：