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

Deep Semantic and Attentive Network for Unsupervised Video Summarization

ACM Transactions on Multimedia Computing, Communications and Applications 2022年第2期18卷 1-21页

作者： Zhong, Sheng-Hua Lin, Jingxu Lu, Jianglin Fares, Ahmed Ren, Tongwei College of Computer Science and Software Engineering Shenzhen University Shenzhen518060 China Department of Electrical Engineering Computer Systems Engineering Program Faculty of Engineering at Shoubra Benha University Cairo Egypt State Key Laboratory for Novel Software Technology Nanjing University Nanjing210023 China

With the rapid growth of video data, video summarization is a promising approach to shorten a lengthy video into a compact version. Although supervised summarization approaches have achieved state-of-the-art performance, they require frame-level annotated labels. Such an annotation process is time-consuming and tedious. In this article, we propose a novel deep summarization framework named Deep Semantic and Attentive Network for Video Summarization (DSAVS) that can select the most semantically representative summary by minimizing the distance between video representation and text representation without any frame-level labels. Another challenge associated with video summarization tasks mainly originates from the difficulty of considering temporal information over a long time. Long Short-Term Memory (LSTM) performs well for temporal dependencies modeling but does not work well with long video clips. Therefore, we introduce a self-attention mechanism into our summarization framework to capture the long-range temporal dependencies among the frames. Extensive experiments on two popular benchmark datasets, i.e., SumMe and TVSum, show that our proposed framework outperforms other state-of-the-art unsupervised approaches and even most supervised methods. © 2022 Association for Computing Machinery.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

systems-of-systems programmatics: Guidelines for program managers

Systems-of-systems programmatics: Guidelines for program man...

引用

2007 AIAA InfoTech at Aerospace Conference

作者： Smith II, James D. Meyers, B. Craig Fisher, David A. Carnegie Mellon Software Engineering Institute Arlington VA 22203 United States Carnegie Mellon Software Engineering Institute Pittsburgh PA 15213 United States Dynamic Systems Program Integration of Software-Intensive Systems Initiative NRECA Building 4301 Wilson Boulevard Arlington VA 22203 Austria Dynamic Systems Program Integration of Software-Intensive Systems Initiative 4500 Fifth Avenue Pittsburgh PA 15213-3890 Austria

ISBN: (纸本)1563478935

Large, complex systems development has always been challenging, even when the "only" things a program manager had to worry about were cost, schedule, and performance for their program. The rampant growth in system complexity, greatly expanded use of joint and combined operations, and the emergence of such operational concepts as network-centric operations, has led to the prevalence of interoperable systems of systems as the preferred solution to providing operational capability. As difficult as program management is within a single program, it is significantly more complex in the context of a system of systems. The absence of any clear guidance for identifying and resolving conflicts between a systemcentric and system of systems perspectives is at the heart of several notable systems of systems failures. This paper provides some simple guidance to help program managers: the "laws of programmatics" for systems-of-systems.

关键词： systems analysis

来源：评论

学校读者我要写书评

暂无评论

Interoperability patterns and systems of systems acquisition

Interoperability patterns and systems of systems acquisition

引用

45th AIAA Aerospace Sciences Meeting 2007

作者： Smith II, James D. Meyers, Bertram C. Carnegie Mellon Software Engineering Institute Arlington VA 22203 Carnegie Mellon Software Engineering Institute Pittsburgh PA 15213 Technical Staff Dynamic Systems Program NRECA Building 4301 Wilson Boulevard Arlington VA 22203 Technical Staff Dynamic Systems Program Integration of Software-Intensive Systems Initiative 4500 Fifth Avenue Pittsburgh PA 15213-3890

ISBN: (纸本)1563478900

This paper explores some of the reasons that the acquisition of systems of systems is fundamentally different from that of individual systems, leading to brief overview of interoperable acquisition. Against this backdrop, the authors introduce the concept of interoperability patterns and antipatterns, and show how they can contribute to an understanding of the complex interrelationships between the various programs and systems that exist within a system of systems context.

关键词： systems analysis

来源：评论

学校读者我要写书评

暂无评论

Towards a formal model to reason about context-aware exception handling

Towards a formal model to reason about context-aware excepti...

引用

2012 5th International Workshop on Exception Handling, WEH 2012

作者： Rocha, Lincoln S. Andrade, Rossana M. C. Group of Computer Networks Software Engineering and Systems Graduate Program in Computer Science Federal University of Ceará Fortaleza - CE Brazil

ISBN: (纸本)9781467317665

The context-awareness is a central aspect in the design of pervasive systems, characterizing their ability to adapt its structure and behavior. The context-aware exception handling (CAEH) is an existing approach employed to design exception handling in pervasive systems. In this approach, the context is used to define, detect, propagate, and handle exceptions. CAEH is a complex and error prone activity, needing designers' insights and domain expertise to identify and characterize contextual exceptions. However, despite the existence of formal methods to analyze the adaptive behavior of pervasive systems, such methods lack specific support to specify the CAEH behavior. In this paper, we propose a formal model to reason about the CAEH behavior. It comprises an extension of the Kripke Structure to model the context evolution of a pervasive system and a transformation function that derivates the CAEH control flow from that proposed structure. © 2012 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Reuse that pays 01

Reuse that pays

引用

Proceedings of the 23rd International Conference on software engineering

作者： Linda M. Northrop Product Line Systems Program Software Engineering Institute

ISBN: (纸本)9780769510507

A company builds a software system capable of running a diesel engine in a week, and in one case over a weekend, as opposed to the full year that it used to take. Another company builds one of its typical systems with 13 software engineers instead of the more than 100 it once required, and at the same time decreases the systems defect rate ten-fold. Still another increases its software-intensive product offerings from four per year to 50 per year. Imagine being able to use one person to integrate and test 1.5 million source lines of Ada for a real-time command-and-control system onboard a ship, with safety-critical requirements? Or increasing software productivity four-fold over three years, as another company has done? These organizations all achieved their results through strategic software reuse. We software people have been promising the benefits of reuse for decades. Are we finally achieving a reuse strategy that lives up to its hype?

关键词：

来源：评论

学校读者我要写书评

暂无评论

Reuse that pays

Reuse that pays

引用

International Conference on software engineering (ICSE)

作者： L.M. Northrop Product Line Systems Program Software Engineering Institute USA

来源：评论

学校读者我要写书评

暂无评论

Supporting the Automated Generation of Acceptance Tests of Process-Aware Information systems 19

Supporting the Automated Generation of Acceptance Tests of P...

引用

19th International Conference on Web Information systems and Technologies, WEBIST 2023

作者： Paiva, Tales M. Oliveira, Toacy C. Pillat, Raquel M. Alencar, Paulo S.C. Computer and Systems Engineering Program Universidade Federal do Rio de Janeiro Rio de Janeiro Brazil Software Engineering Program Universidade Federal do Pampa Alegrete Brazil Cheriton School of Computer Science University of Waterloo Waterloo Canada

ISBN: (纸本)9789897586729

software quality assurance is a crucial process that ensures software products meet specified requirements and quality standards. Achieving an exhaustive test coverage is essential for quality assurance, particularly in complex and dynamic Process-Aware Information systems (PAIS) built upon the Business Process Model and Notation (BPMN). Manual testing in such systems is challenging due to many execution paths, dependencies, and external interfaces. This paper proposes a model-based testing strategy that uses BPMN models and build specifications as input to generate a Robotic Process Automation (RPA) script that automates a comprehensive User Acceptance Test procedure. Leveraging on Robotic Process Automation (RPA) to automate user interactions allows for reducing the need for testers to manually input PAIS-related information when handling user forms. We also present a Case Study to demonstrate the feasibility of our approach. Copyright © 2023 by SCITEPRESS - Science and Technology Publications, Lda. Under CC license (CC BY-NC-ND 4.0)

关键词： Acceptance tests

来源：评论

学校读者我要写书评

暂无评论

software Project Management Effectiveness Evaluation Tool 9

Software Project Management Effectiveness Evaluation Tool

引用

9th International Conference on software and Information engineering, ICSIE 2020

作者： Barghoth, Mohamed Ellithey Salah, Akram Ismail, Manal A Master in Software Engineering Program Egyptian E-Learning University Giza Egypt Faculty of Computer and Artificial Intelligence Cairo University Giza Egypt Department of Computer Engineering and Systems Faculty of Engineering Helwan University Helwan Egypt

ISBN: (纸本)9781450377218

Project management is important for the success of a software project. Enhancing software project management effectiveness measurements should lead the project manager to advance practices that contribute to the successful development of software projects. This study aims to enhance project management effectiveness measurements in the direction of increase the likelihood of software project success. An enhanced evaluation model of software project management effectiveness has been proposed in this study. Correspondingly, the model fed into a developed software project management effectiveness evaluation tool. This measurement tool helps software development managers to evaluate, monitor and improve project management effectiveness in software projects. The developed software project management effectiveness evaluation tool has been validated by a feedback survey. Feedback survey participants have been demonstrated the importance of the developed project management effectiveness measurement tool. © 2020 ACM.

关键词： Project management

来源：评论

学校读者我要写书评

暂无评论

The supercompiler SCP4: General structure

引用

5th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2003

作者： Nemytykh, Andrei P. Program Systems Institute RAS Pereslavl-Zalessky Yaroslavl region Russia State Key Lab of Software Engineering Wuhan University WuhanHubei China

ISBN: (纸本)3540208135

Supercompilation is a program transformation technique introduced in the 1970s by V. Turchin [13,14,16]. His ideas were studied by a number of authors for a long time. We constructed an experimental supercompiler for a functional language Refal-5 [15]. The Scp4 project was discussed with V. Turchin. He initiated and supported our work. Scp4 has been implemented once again using Refal-5. Sources of Scp4 and the whole version of this paper are available for immediate download [8,9,17]. A user manual on Scp4 and reports on several interesting experiments can be found in [4,5,6]. Scp4 is a first experimental supercompiler for the real functional language Refal-5. The principal new tool in Scp4 is an online analysis of global properties of folded-components of the meta-tree MTr of all potential computations. Let a program P and a parameterized input of the P be given. Then such a pair defines a partial mapping. A supercompiler is a transformer of such pairs. The transformer must preserve the map values on the map domain. Scp4 unfolds a potentially infinite tree of all possible computations. It reduces in the process the redundancy that could be present in the original program. It folds the tree into a finite graph of states and transitions between possible configurations of the computing system. It analyses global properties of the graph and specializes this graph w.r.t. these properties. The resulting definition is constructed solely based on the meta-interpretation of the source program rather than by a step-by-step transformation of the program. The size of the Scp4 system is about 19500 lines of commented source code (800 KB).

关键词：

来源：评论

学校读者我要写书评

暂无评论

Enhancing verification and validation education using active learning tools developed through an academia-industry partnership 123

Enhancing verification and validation education using active...

引用

123rd ASEE Annual Conference and Exposition

作者： Acharya, Sushil Manohar, Priya Schilling, Walter W. Wu, Peter Y. Robert Morris University PittsburghPA United States Software Engineering Program Milwaukee School of Engineering MilwaukeeWI United States Department of Computer and Information Systems Robert Morris University United States

Imparting real world experiences in a software verification and validation (SV&V) course is often a challenge due to the lack of effective active learning tools. This pedagogical requirement is important because graduates are expected to develop software that meets rigorous quality standards in functional and application domains. Realizing the necessity of such teaching tools, the authors designed and developed eighteen (18) delivery hours of Case Studies, sixteen (16) delivery hours of Class Exercises, and six (6) delivery hours of Video Case Studies for use in courses that impart knowledge on SV&V topics viz. requirements engineering, software reviews, configuration management, and software testing. Four key skill areas sought after by employers, namely communication skills, applied knowledge of methods, applied knowledge of tools, and research exposure are used to drive the development funded by a National Science Foundation grant and perfected through an industry-academia partnership. In this paper, we discuss in detail the four project plans the researchers and their industry counterparts followed over the past two years in the development and eventual dissemination of active learning tools. A course enhancement plan was used to drive activities related to reviewing, enhancing, and modularizing modules, identified by a gap analysis performed by focus groups comprised of industry and academic partners. The course delivery plan was used to drive activities related to developing content delivery strategies. An evaluation and assessment plan was used to drive activities related to periodically evaluating student learning and assessing the project. And finally a course dissemination plan is being used to drive activities related to disseminating course modules and assessment reports. Active learning tools have been disseminated through a workshop and other means to universities and industry partners. © American Society for engineering Education, 2016.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：