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

arXiv 2023年

作者： Kayed, Mohamed Díaz Redondo, Rebeca P. Mabrouk, Alhassan Computer Science Department Faculty of Computers and Artificial Intelligence Beni-Suef University Egypt Information & Computing Lab AtlanTTIC Research Center Telecommunication Engineering School Universidade de Vigo Spain Math. and Computer Science Department Faculty of Science Beni-Suef University Egypt

Recently, Deep Learning (DL) approaches have been applied to solve the Sentiment Classification (SC) problem, which is a core task in reviews mining or Sentiment Analysis (SA). The performances of these approaches are affected by different factors. This paper addresses these factors and classifies them into three categories: data preparation based factors, feature representation based factors and the classification techniques based factors. The paper is a comprehensive literature-based survey that compares the performance of more than 100 DL-based SC approaches by using 21 public datasets of reviews given by customers within three specific application domains (products, movies and restaurants). These 21 datasets have different characteristics (balanced/imbalanced, size, etc.) to give a global vision for our study. The comparison explains how the proposed factors quantitatively affect the performance of the studied DL-based SC approaches. Copyright © 2023, The Authors. All rights reserved.

关键词： Sentiment analysis

来源：评论

学校读者我要写书评

暂无评论

Texture synthesis via projection onto multiscale, multilayer statistics

arXiv

引用

arXiv 2021年

作者： He, Jieqian Hirn, Matthew Dept. of Computational Math. Science & Engineering Michigan State University East LansingMI United States Dept. of Computational Math. Science & Engineering Department of Mathematics Center for Quantum Computing Science & Engineering Michigan State University East LansingMI United States

We provide a new model for texture synthesis based on a multiscale, multilayer feature extractor. Within the model, textures are represented by a set of statistics computed from ReLU wavelet coefficients at different layers, scales and orientations. A new image is synthesized by matching the target statistics via an iterative projection algorithm. We explain the necessity of the different types of pre-defined wavelet filters used in our model and the advantages of multilayer structures for image synthesis. We demonstrate the power of our model by generating samples of high quality textures and providing insights into deep representations for texture images. Copyright © 2021, The Authors. All rights reserved.

关键词： Multilayers

来源：评论

学校读者我要写书评

暂无评论

Competitive Online Optimization under Inventory Constraints

引用

Performance Evaluation Review 2019年第1期47卷 35-36页

作者： Lin, Qiulin Yi, Hanling Pang, John Chen, Minghua Wierman, Adam Honig, Michael Xiao, Yuanzhang Information Engineering Chinese University of Hong Kong China Computing and Math. Sciences California Institute of Technology United States Electrical Engineering Northwestern University United States Hawaii Center for Adv. Comm. University of Hawaii at Manoa United States

This paper studies online optimization under inventory (budget) constraints. While online optimization is a well-studied topic, versions with inventory constraints have proven difficult. We consider a formulation of inventory-constrained optimization that is a generalization of the classic one-way trading problem and has a wide range of applications. We present a new algorithmic framework, CR-Pursuit, and prove that it achieves the optimal competitive ratio among all deterministic algorithms (up to a problem-dependent constant factor) for inventory-constrained online optimization. Our algorithm and its analysis not only simplify and unify the state-ofthe-art results for the standard one-way trading problem, but they also establish novel bounds for generalizations including concave revenue functions. For example, for one-way trading with price elasticity, CR-Pursuit achieves a competitive ratio within a small additive constant (i.e., 1/3) to the lower bound of ln θ + 1, where θ is the ratio between the maximum and minimum base prices. © 2019 Copyright is held by the owner/author(s).

关键词： Constrained optimization

来源：评论

学校读者我要写书评

暂无评论

Competitive online optimization under inventory constraints 19

Competitive online optimization under inventory constraints

引用

14th Joint Conference of International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 2019 and IFIP Performance Conference 2019, SIGMETRICS/Performance 2019

ISBN: (纸本)9781450366786

This paper studies online optimization under inventory (budget) constraints. While online optimization is a well-studied topic, versions with inventory constraints have proven difficult. We consider a formulation of inventory-constrained optimization that is a generalization of the classic one-way trading problem and has a wide range of applications. We present a new algorithmic framework, CR-Pursuit, and prove that it achieves the optimal competitive ratio among all deterministic algorithms (up to a problem-dependent constant factor) for inventory-constrained online optimization. Our algorithm and its analysis not only simplify and unify the state-ofthe- art results for the standard one-way trading problem, but they also establish novel bounds for generalizations including concave revenue functions. For example, for one-way trading with price elasticity, CR-Pursuit achieves a competitive ratio within a small additive constant (i.e., 1/3) to the lower bound of ln θ + 1, where θ is the ratio between the maximum and minimum base prices. © 2019 Copyright held by the owner/author(s).

关键词： Constrained optimization

来源：评论

学校读者我要写书评

暂无评论

Competitive online optimization under inventory constraints

arXiv

引用

arXiv 2019年

作者： Lin, Qiulin Yi, Hanling Wierman, Adam Pang, John Honig, Michael Chen, Minghua Xiao, Yuanzhang Information Engineering Chinese University of Hong Kong Computing and Math. Sciences California Institute of Technology Electrical Engineering Northwestern University Hawaii Center for Adv. Comm. University of Hawaii Manoa United States

This paper studies online optimization under inventory (budget) constraints. While online optimization is a well-studied topic, versions with inventory constraints have proven difficult. We consider a formulation of inventory-constrained optimization that is a generalization of the classic one-way trading problem and has a wide range of applications. We present a new algorithmic framework, CR-Pursuit, and prove that it achieves the minimal competitive ratio among all deterministic algorithms (up to a problem-dependent constant factor) for inventory-constrained online optimization. Our algorithm and its analysis not only simplify and unify the state-of-the-art results for the standard one-way trading problem, but they also establish novel bounds for generalizations including concave revenue functions. For example, for one-way trading with price elasticity, the CR-Pursuit algorithm achieves a competitive ratio that is within a small additive constant (i.e., 1/3) to the lower bound of ln θ + 1, where θ is the ratio between the maximum and minimum base prices. Copyright © 2019, The Authors. All rights reserved.

关键词： Constrained optimization

来源：评论

学校读者我要写书评

暂无评论

A second-order and nonuniform time-stepping maximum-principle preserving scheme for time-fractional Allen-Cahn equations

arXiv

引用

arXiv 2019年

作者： Liao, Hong-Lin Tang, Tao Zhou, Tao Department of Mathematics Nanjing University of Aeronautics and Astronautics Nanjing211106 China Department of Mathematics and International Center for Mathematics Southern University of Science and Technology Shenzhen Guangdong Province China Division of Science and Technology BNU-HKBU United International College Zhuhai Guangdong Province China NCMIS and LSEC Inst. of Compl. Math. and Sci./Engineering Computing Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing100190 China

In this work, we present a second-order nonuniform time-stepping scheme for the time-fractional Allen-Cahn equation. We show that the proposed scheme preserves the discrete maximum principle, and by using the convolution structure of consistency error, we present sharp maximum-norm error estimates which reflect the temporal regularity. As our analysis is built on nonuniform time steps, we may resolve the intrinsic initial singularity by using the graded meshes. Moreover, we propose an adaptive time-stepping strategy for large time simulations. Numerical experiments are presented to show the effectiveness of the proposed scheme. This seems to be the first second-order maximum principle preserving scheme for the time-fractional Allen-Cahn *** Codes 35Q99, 65M06, 65M12, 74A50 Copyright © 2019, The Authors. All rights reserved.

关键词： Maximum principle

来源：评论

学校读者我要写书评

暂无评论

Foreword

Proceedings of the 2016 International Conference on Image Pr...

引用

Proceedings of the 2016 International Conference on Image Processing, Computer Vision, and Pattern Recognition, IPCV 2016 2016年

作者： Abd-Wahab, Mohd Helmy Al-Bakry, Abbas Al-Holou, Nizar Arabnia, Hamid R. Bhattacharya, Mahua Martinez Castillo, Juan Jose Daimi, Kevin Deligiannidis, Leonidas Djoudi, Lamia Atma Duong, Trung Eshaghian-Wilner, Mary Mehrnoosh Gravvanis, George A. Huang, Ruizhu Jandieri, George Kim, Byung-Gyu Kim, Tai-hoon Korovin, Iakov Lai, Guoming Lee, Hyo Jong Bin Mansor, Muhammad Naufal Marsh, Andrew Mostafaeipour, Ali Park, James J. Patil, Shashikant Ponalagusamy, R. Schaefer, Gerald Singh, Akash Solo, Ashu M.G. Swee, Sim Kok Thomas, Jaya Tinetti, Fernando G. Vladimir, Hahanov Wang, Shiuh-Jeng Yang, Mary Yoe, Hyun You, Jane Zhao, Wenbing Department of Computer Engineering University Tun Hussein Onn Malaysia Malaysia University of IT and Communications Baghdad Iraq Electrical and Computer Engineering Department IEEE/SEM-Computer Chapter University of Detroit Mercy DetroitMI United States University of Georgia United States ABV Indian Institute of Information Technology and Management MHRD Government of India India Acantelys Alan Turing Nikola Tesla Research Group and GIPEB Universidad Nacional Abierta Venezuela Computer Science and Software Engineering Programs Department of Mathematics Computer Science and Software Engineering University of Detroit Mercy DetroitMI United States Department of Computer Information Systems Wentworth Institute of Technology BostonMA United States Synchrone Technologies France Rutgers University State University of New Jersey New Jersey United States University of Southern California California United States Electrical Engineering University of California Los Angeles Los Angeles [UCLA CA United States Advanced Scientific Computing Applied Math and Applications Research Group Applied Mathematics and Numerical Computing and Department of ECE School of Engineering Democritus University of Thrace Xanthi Greece Texas Advanced Computing Center University of Texas AustinTX United States Georgian Technical University Tbilisi Georgia Institute of Cybernetics Georgian Academy of Science Georgia Multimedia Processing CommunicationsLab.[MPCL Department of Computer Science and Engineering College of Engineering SunMoon University Korea Republic of School of Information and Computing Science University of Tasmania Australia Southern Federal University Russia Computer Science and Technology Sun Yat-Sen University Guangzhou China Center for Advanced Image and Information Technology Division of Computer Science and Engineering Chonbuk National University Korea Republic of Faculty of Engineering Technology Kampus Uniciti Alam Universiti Malaysia Perlis UniMAP Malaysi

来源：评论

学校读者我要写书评

暂无评论

Hybrid MARTE statecharts

引用

Frontiers of Computer Science 2013年第1期7卷 95-108页

作者： Jing LIU Ziwei LIU Jifeng HE Freederic MALLET Zuohua DING Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai 200062 China INRIA Sophia Antipolis M6diterran6e Sophia Antipolis 06902 France Center of Math Computing and Software Engineering Zhejiang Sci-Tech University Hangzhou 310018 China

The specification of modeling and analysis of real-time and embedded systems （MARTE） is an extension of the unified modeling language （UML） in the domain of real-time and embedded systems. Even though MARTE time model offers a support to describe both discrete and dense clocks, the biggest effort has been put so far on the specifi- cation and analysis of discrete MARTE models. To address hybrid real-time and embedded systems, we propose to ex- tend statecharts using both MARTE and the theory of hybrid automata. We call this extension hybrid MARTE statecharts. It provides an improvement over the hybrid automata in that： the logical time variables and the chronometric time vari- ables are unified. The formal syntax and semantics of hybrid MARTE statecharts are given based on labeled transition sys- tems and live transition systems. As a case study, we model the behavior of a train control system with hybrid MARTE statecharts to demonstrate the benefit.

关键词： UML MARTE hybrid automata hybrid MARTE statechart train control system

来源：评论

学校读者我要写书评

暂无评论

Testing Central Processing Unit Scheduling Algorithms Using Metamorphic Testing

Testing Central Processing Unit Scheduling Algorithms Using ...

引用

2013 IEEE 4th International Conference on software engineering and Service Science

作者： Mingyue Jiang Tsong Yueh Chen Fei-Ching Kuo Zuohua Ding Center of Math Computing and Software Engineering Zhejiang Sci-Tech University Faculty of Information and Communication Technologies Swinburne University of Technology Hawthorn Victoria3122Australia

ISBN: (纸本)9781467349994

Central Processing Unit（CPU） scheduling is used to allocate CPU for multiple *** is one of the most important resources in the computer system,and its scheduling is vital and influential in operating ***,it is necessary to ensure the correctness of the CPU scheduling ***,testing the correctness of a scheduling program is difficult because it is hard to verify the correctness of its output,which is known as the test oracle problem in software *** Testing（MT） which has been recently proposed to alleviate the test oracle problem,is applied to test the CPU scheduling *** this paper,we use MT to test the Highest Response Ratio Next（HRRN） scheduling *** simulators of HRRN scheduler are used in the evaluation of our ***,some real life faults in one open source simulator are detected by *** experiments are performed based on mutants,and the experimental results show that MT is an effective strategy to test CPU scheduler.

关键词： software Testing Metamorphic Testing Scheduling Algorithm Test oracle Oracle Problem

来源：评论

学校读者我要写书评

暂无评论

Schedulability Analysis with CCSL Specifications

Schedulability Analysis with CCSL Specifications

引用

Asia-Pacific Conference on software engineering

作者： Ling Yin Jing Liu Zuohua Ding Frédéric Mallet Robert de Simone Shanghai Key lab of Trustworthy Computing East China Normal University Shanghai China Center of Math Computing and Software Engineering Zhejiang Sci-Tech University Hangzhou Zhejiang China INRIA Sophia Antipolis Méditerranée France

ISBN: (纸本)9781479921454

The Clock Constraint Specification Language (CCSL) is a formal polychronous language based on the notion of logical clock. It defines a set of kernel constraints that can represent both asynchronous and synchronous relations. It was originally developed as part of the UML Profile for MARTE to express causal and temporal constraints of Real-time and Embedded Systems. In this paper, we explore the use of CCSL for modeling scheduling requirements and to conduct schedulability analysis. For this purpose, a dedicated scheduling library of CCSL has been built. This library is endowed with a state-based operational semantics, and is applied to solve issues related to schedulability analysis and latency-insensitive design. We establish schedulability categories and latency-insensitiveness property in the context of the semantics, and solve those issues by using model checking techniques.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：