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

7th International Conference on Rough Sets and Knowledge technology, RSKT 2012

作者： Yang, Hongchao Wang, Chongjun Xie, Junyuan Department of Computer Science Nanjing University State Key Laboratory for Novel Software Technology Nanjing China

ISBN: (纸本)9783642318993

Study on information propagation in social networks has a long history. The influence maximization problem has become a popular research area for many scholars. Most of algorithms to solve the problem are based on the basic greedy algorithm raised by David Kempe etc. However, these algorithms seem to be ineffective for the large-scaled networks. On seeing the bottleneck of these algorithms, some scholars raised some heuristic algorithms. However, these heuristic algorithms just consider local information of networks and cannot get good results. In this paper, we studied the procedure of information propagation in layered cascade model, a new propagation model in which we can consider the global information of networks. Based on the analysis on layered cascade model, we developed heuristic algorithms to solve influence maximization problem, which perform well in experiments. © 2012 Springer-Verlag.

关键词： Heuristic algorithms

来源：评论

学校读者我要写书评

暂无评论

A decentralized storage scheme for multi-dimensional range queries over sensor networks

A decentralized storage scheme for multi-dimensional range q...

引用

15th International Conference on Parallel and Distributed Systems, ICPADS '09

作者： Xie, Lei Chen, Lijun Chen, Daoxu Xie, Li State Key Laboratory of Novel Software Technology Department of Computer Science Nanjing University Nanjing China

ISBN: (纸本)9780769539003

This paper presents the design of a decentralized storage scheme to support multi-dimensional range queries over sensor networks. We build a distributed k-d tree based index structure over sensor network, so as to efficiently map high dimensional event data to a two-dimensional space of sensors while preserving the proximity of events. We propose a dynamic programming based methodology to control the granularity of the index tree in an optimized approach, and an optimized routing scheme for range query processing to achieve best energy efficiency. The simulation results demonstrate the efficiency of the design. © 2009 IEEE.

关键词： Sensor networks

来源：评论

学校读者我要写书评

暂无评论

TMAC: Taint-based memory protection via access control

TMAC: Taint-based memory protection via access control

引用

2009 2nd International Conference on Dependability, DEPEND 2009

作者： Lei, Wang Chen, Fang Bing, Mao Li, Xie State Key Laboratory for Novel Software Technology Department of Computer Science Nanjing University Nanjing China

ISBN: (纸本)9780769536668

Memory corruption attacks account for most parts of malicious attacks toward software security. Recently dynamic taint analysis is proposed and is gaining momentum. This proposed technique attempts to defeat attacks by checking the taintedness and integrity of pointers when accessing memory since vulnerabilities are always motivated by tainting pointers. Unfortunately, there exists some class of attacks without tainting pointers, such as array bounds violation attacks using pointers. In this paper, we propose a novel approach to defeat this kind of undetected attacks using taint-based tracking analysis. Our notion is based on the memory access control, that is, first, we will check the taintedness of the pointers when accessing memory like existing taint-based approaches, second, we will check whether or not the memory area is in the legitimate range of a pointer used to access this memory. Our implementation dose not need source code and is based on Valgrind, hence works on commodity software. To demonstrate our idea, we performed a preliminary empirical experiments, the results are quite promising: TMAC can effectively detect a wide range of attacks, and the average runtime overhead is close to Memcheck, a widely memory error detector. © 2009 IEEE.

关键词： Network security

来源：评论

学校读者我要写书评

暂无评论

Optical flow based dynamic curved video text detection

Optical flow based dynamic curved video text detection

引用

作者： Shivakuamra, Palaiahnakote Lubani, Mohamed Wong, Koksheik Lu, Tong Faculty of Computer Science and Information Technology University of Malaya Kuala Lumpur Malaysia National Key Lab for Novel Software Technology Nanjing University Nanjing China

ISBN: (纸本)9781479957514

Text detection in video is a challenging problem as it is useful in several real time applications in the field of video indexing and retrieval. Unlike existing methods that generally focus on horizontal caption or graphics text, the proposed method focuses on detecting dynamic curved text in video. The method explores the characteristics of the optical flow of text, namely, constant velocity, uniform magnitude distribution and unique angle distribution, to identify text candidates with the help of k-means clustering algorithm. We propose an iterative procedure which finds the standard deviation of text candidates between the first and its successive frames, and it terminates when there is a sudden decrease in the standard deviation values. The proposed method eliminates false text candidates based on the characteristics of optical flow at component level while retaining the potential text candidates. Then, direction guided boundary growing is proposed to traverse curved text lines in video. Furthermore, the characteristics of optical flow of text are utilized at block level to eliminate false positives. Experiments are conducted with various videos, including video with static text, static and dynamic text, and dynamic text only, to evaluate the proposed method. The results are benchmarked with the existing methods to verify the superiority of our method over the existing methods in terms of recall, precision, F-measure and average processing time. © 2014 IEEE.

关键词： Optical flows

来源：评论

学校读者我要写书评

暂无评论

Value based Curriculum Design for Engineering Studies 5

Value based Curriculum Design for Engineering Studies

引用

5th IEEE International Conference on MOOCs, Innovation and technology in Education (MITE)

作者： Subramanian, Shriram Dorairaju, Bharathi Pallavarapu, Mayur Department of Computer Science Tianjin University of Technology Tianjin China Tianjin Key Laboratory of Intelligence Computing and Novel Software Technology Tianjin China Key Laboratory of Computer Vision and System Ministry of Education Tianjin China

ISBN: (纸本)9781538631898

Education apart from the basic needs of food, clothing and shelter, is another key factor to empower an individual. It acts as an enabler to elevate a person socially and from within. Education system has been evolving since human existence and various approaches are being used to teach. Focusing on professional courses, the quality of education is questioned and stands as a concern along with the unemployment issues. In India, there is a huge potential for technology growth. However, as per the national employability report, only 3.84% of engineers qualify for a startup technology role. Further, 2016 employability rate has been 17.91%, 3.67% and 40.57% for IT Services, IT Products and Business Process Outsourcing respectively. Apart from this, there are many forums in which the quality of education is being questioned, since education is linked with the job or business opportunity. One of the essentials in the professional courses is the curriculum design. It is very important to start with the curriculum that can enhance the knowledge of students and also make a prospective career. With these in mind, the improvement options have to be deeply thought and charted out. In this regard, a survey has been taken up with engineering professionals to get their feedback on how they view the education system. This paper focuses on the feedback from working engineering professionals, compares the existing and other curriculum options and provides a proposal for a value based curriculum design.

关键词： Education system quality career engineering studies employability value based education curriculum

来源：评论

学校读者我要写书评

暂无评论

Aspect-Oriented Modeling and Verification with Finite State Machines

引用

Journal of computer science & technology 2009年第5期24卷 949-961页

作者：徐殿祥 Omar El-Ariss 许巍峰王林章 National Center for the Protection of the Financial Infrastructure Dakota State UniversityMadisonSD 57042 U.S.A. State Key Laboratory of Novel Software Technology Department of Computer Science and TechnologyNanjing University Department of Computer Science North Dakota State UniversityFargoND 58105 U.S.A Computer and Information Science Department Gannon University109 University SquareEriePA 16541 U.S.A

Aspect-oriented programming modularizes crosscutting concerns into aspects with the advice invoked at the specified points of program execution. Aspects can be used in a harmful way that invalidates desired properties and even destroys the conceptual integrity of programs. To assure the quality of an aspect-oriented system, rigorous analysis and design of aspects are highly desirable. In this paper, we present an approach to aspect-oriented modeling and verification with finite state machines. Our approach provides explicit notations （e.g., pointcut, advice and aspect） for capturing crosscutting concerns and incremental modification requirements with respect to class state models. For verification purposes, we compose the aspect models and class models in an aspect-oriented model through a weaving mechanism. Then we transform the woven models and the class models not affected by the aspects into FSP （Finite State Processes）, which are to be checked by the LTSA （labeled Transition System Analyzer） model checker against the desired system properties. We have applied our approach to the modeling and verification of three aspect-oriented systems. To further evaluate the effectiveness of verification, we created a large number of flawed aspect models and verified them against the system requirements. The results show that the verification has revealed all flawed models. This indicates that our approach is effective in quality assurance of aspect-oriented state models. As such, our approach can be used for model-checking state-based specification of aspect-oriented design and can uncover some system design problems before the system is implemented.

关键词： aspect-oriented modeling finite state machines modeling verification model checking

来源：评论

学校读者我要写书评

暂无评论

Dynamical Trust Construction Schema with Fuzzy Decision in P2P Systems

引用

电子学报(英文版) 2009年第3期18卷 417-421页

作者： WANG Yang WANG Ruchuan HAN Zhijie College of Computer Science and Technology Nanjing University of Posts and Telecommunications Nanjing 210003 China Department of Computer Anhui Normal University Wuhu 241000 China State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210093 China

The security problem for Peer-to-peer (P2P) systems has been gradually recognized as an important topic of P2P applications. Among existing solution for P2P security, how to establish trust relationship among peers is a key problem in demand. This paper proposes a novel dynamical trust construction schema based on fuzzy decision and Extended automated trust negotiation (EATN). The presented approach adopts fuzzy trust graph to describe the trust information in the P2P systems. Trust relationship among peers can be constructed by the combination of the fuzzy trust graph, fuzzy path search algorithm and EATN. The relevant application case indicates the schema is feasible. The simulations also show that the presented schema can improve the interactive success ratio by enhancing the trust relationship in the P2P systems.

关键词： P2P系统模糊决策建设动态信任协商信托安全解决方案信任关系认可制度

来源：评论

学校读者我要写书评

暂无评论

Specifying and Detecting Behavioral Changes in Source Code Using Abstract Syntax Tree Differencing

Specifying and Detecting Behavioral Changes in Source Code U...

引用

International Conference on Trustworthy Computing and Services, ISCTCS 2012

作者： Li, Yuankui Wang, Linzhang State Key Lab. for Novel Software Technology Nanjing University Nanjing China Department of Computer Science and Technology Nanjing University Nanjing China

ISBN: (纸本)9783642357947

During the development of a software, its source code is continuously being modified. Even after the deployment, the maintenance work still involves changing the source code. Some of the modification performed on the source code is rather meaningless, while others might cause some critical behavioral changes. To help understand the modification, we can distinguish the behavioral changes and ease the tedious work. Our approach focuses on eliminating two kinds of changes: the unessential changes and the behavioral-unrelated changes, to achieve a better change detection result. © Springer-Verlag Berlin Heidelberg 2013.

关键词： Trees (mathematics)

来源：评论

学校读者我要写书评

暂无评论

Symmetry features for license plate classification

引用

CAAI Transactions on Intelligence technology 2018年第3期3卷 176-183页

作者： Karpuravalli Srinivas Raghunandan Palaiahnakote Shivakumara Lolika Padmanabhan Govindaraju Hemantha Kumar Tong Lu Umapada Pal Department of Studies in Computer Science University of Mysore Karnataka India Faculty of Computer Science and Information Technology University of Malaya Kuala Lumpur Malaysia PES Institute of Technology Bangalore Karnataka India National Key Lab for Novel Software Technology Nanjing University Nanjing People's Republic of China Computer Vision and Pattern Recognition Unit Indian Statistical Institute Kolkata India

Achieving high recognition rate for license plate images is challenging due to multi-type images. We present new symmetry features based on stroke width for classifying each input license image as private, taxi, cursive text, when they expand the symbols by writing and non-text such that an appropriate optical character recognition （OCR） can be chosen for enhancing recognition performance. The proposed method explores gradient vector flow （GVF） for defining symmetry features, namely, GVF opposite direction, stroke width distance, and stroke pixel direction. Stroke pixels in Canny and Sobel which satisfy the above symmetry features are called local candidate stroke pixels. Common stroke pixels of the local candidate stroke pixels are considered as the global candidate stroke pixels. Spatial distribution of stroke pixels in local and global symmetry are explored by generating a weighted proximity matrix to extract statistical features, namely, mean, standard deviation, median and standard deviation with respect the median. The feature matrix is finally fed to an support vector machine （SVM） classifier for classification. Experimental results on large datasets for classification show that the proposed method outperforms the existing methods. The usefulness and effectiveness of the proposed classification is demonstrated by conducting recognition experiments before and after classification.

关键词：车牌图像图像识别识别技术计算机技术

来源：评论

学校读者我要写书评

暂无评论

MDE-Based Verification of SysML State Machine Diagram by UPPAAL

MDE-Based Verification of SysML State Machine Diagram by UPP...

引用

International Conference on Trustworthy Computing and Services, ISCTCS 2012

作者： Huang, Xiaopu Sun, Qingqing Li, Jiangwei Zhang, Tian State Key Lab. for Novel Software Technology Nanjing University Nanjing China Department of Computer Science and Technology Nanjing University Nanjing China

ISBN: (纸本)9783642357947

State Machine Diagram (SMD) is one of the SysML behavior diagrams, but it is a kind of semi-formal model language. As a consequence, models can not be verified conveniently and efficiently, especially in real-time embedded system (RTES) field as there are no descriptions of time and probability in SMD. To address these problems, we extend SMD with time and probability elements extracted from MARTE and propose a transformation algorithm based on MDE. With the algorithm, we transform the extended SMD to timed automata (TA) and then analyze and verify the transformation result using existing tools. So at the very beginning of system design, errors and deficiencies can be found. At last, we construct an instance to illustrate the validity of our approach. © Springer-Verlag Berlin Heidelberg 2013.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：