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

28th International Conference on Foundations of software science and Computation Structures, FOSSACS 2025, held as part of the International Joint Conferences on Theory and Practice of software, ETAPS 2025

作者： Earnshaw, Matt Román, Mario Department of Software Science Tallinn University of Technology Tallinn Estonia Department of Computer Science University of Oxford Oxford United Kingdom

ISBN: (纸本)9783031908965

We introduce context-free languages of morphisms in monoidal categories, extending recent work on the categorification of context-free languages, and regular languages of string diagrams. Context-free languages of string diagrams include classical context-free languages of words, trees, and hypergraphs, when instantiated over appropriate monoidal categories. We prove a representation theorem for context-free languages of string diagrams: every such language arises as the image under a monoidal functor of a regular language of string diagrams. © The Author(s) 2025.

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

Enhanced Steganalysis for Color Images Using Curvelet Features and Support Vector Machine

引用

computers, Materials & Continua 2024年第1期78卷 1311-1328页

作者： Arslan Akram Imran Khan Javed Rashid Mubbashar Saddique Muhammad Idrees Yazeed Yasin Ghadi Abdulmohsen Algarni Faculty of Computer Science and Information Technology Department of Computer ScienceSuperior UniversityLahore54000Pakistan Machine Learning Code(MLC)Lab Meharban HouseHouse Number 209Zafar ColonyOkara56300Pakistan Information Technology Services University of OkaraOkara56310Pakistan Department of Computer Science&Engineering University of Engineering&Technology LahoreNarowal CampusNarowal51601Pakistan Department of Computer Science and Software Engineering Al Ain UniversityAl Ain11671Abu Dhabi Department of Computer Science King Khalid UniversityAbha61421Saudi Arabia

Algorithms for steganography are methods of hiding data transfers in media *** machine learning architectures have been presented recently to improve stego image identification performance by using spatial information,and these methods have made it feasible to handle a wide range of problems associated with image *** with little information or low payload are used by information embedding methods,but the goal of all contemporary research is to employ high-payload images for *** address the need for both low-and high-payload images,this work provides a machine-learning approach to steganography image classification that uses Curvelet transformation to efficiently extract characteristics from both type of *** Vector Machine(SVM),a commonplace classification technique,has been employed to determine whether the image is a stego or *** Wavelet Obtained Weights(WOW),Spatial Universal Wavelet Relative Distortion(S-UNIWARD),Highly Undetectable Steganography(HUGO),and Minimizing the Power of Optimal Detector(MiPOD)steganography techniques are used in a variety of experimental scenarios to evaluate the performance of the *** WOW at several payloads,the proposed approach proves its classification accuracy of 98.60%.It exhibits its superiority over SOTA methods.

关键词： Curvelets fast fourier transformation support vector machine high pass filters steganography

来源：评论

学校读者我要写书评

暂无评论

DeepOCL:A deep neural network for Object Constraint Language generation from unrestricted nature language

引用

CAAI Transactions on Intelligence technology 2024年第1期9卷 250-263页

作者： Yilong Yang Yibo Liu Tianshu Bao Weiru Wang Nan Niu Yongfeng Yin School of Software Beihang UniversityBeijingChina College of Computer Science and Technology Guizhou UniversityGuiyangGuizhouChina Faculty of Information Technology Beijing University of TechnologyBeijingChina Department of Electrical Engineering and Computer Sciences University of CincinnatiCincinnatiOhioUSA

Object Constraint Language(OCL)is one kind of lightweight formal specification,which is widely used for software verification and validation in NASA and Object Management Group *** OCL provides a simple expressive syntax,it is hard for the developers to write correctly due to lacking knowledge of the mathematical foundations of the first-order logic,which is approximately half accurate at the first stage of devel-opment.A deep neural network named DeepOCL is proposed,which takes the unre-stricted natural language as inputs and automatically outputs the best-scored OCL candidates without requiring a domain conceptual model that is compulsively required in existing rule-based generation *** demonstrate the validity of our proposed approach,ablation experiments were conducted on a new sentence-aligned dataset named *** experiments show that the proposed DeepOCL can achieve state of the art for OCL statement generation,scored 74.30 on BLEU,and greatly outperformed experienced developers by 35.19%.The proposed approach is the first deep learning approach to generate the OCL expression from the natural *** can be further developed as a CASE tool for the software industry.

关键词： deep learning OCL software engineering

来源：评论

学校读者我要写书评

暂无评论

A deep Q-learning model for sequential task offloading in edge AI systems

引用

Intelligent and Converged Networks 2024年第3期5卷 207-221页

作者： Dong Liu Shiheng Gu Xinyu Fan Xu Zheng Department of Computer Science and Engineering University of Electronic Science and Technology of ChinaChengdu 610000China Shenzhen Institute for Advanced Study University of Electronic Science and Technology of ChinaShenzhen 515100China Department of Information and Software Engineering University of Electronic Science and Technology of ChinaChengdu 610000China

Currently,edge Artificial Intelligence(AI)systems have significantly facilitated the functionalities of intelligent devices such as smartphones and smart cars,and supported diverse applications and *** fundamental supports come from continuous data analysis and computation over these *** the resource constraints of terminal devices,multi-layer edge artificial intelligence systems improve the overall computing power of the system by scheduling computing tasks to edge and cloud servers for *** efforts tend to ignore the nature of strong pipelined characteristics of processing tasks in edge AI systems,such as the encryption,decryption and consensus algorithm supporting the implementation of Blockchain ***,this paper proposes a new pipelined task scheduling algorithm(referred to as PTS-RDQN),which utilizes the system representation ability of deep reinforcement learning and integrates multiple dimensional information to achieve global task ***,a co-optimization strategy based on Rainbow Deep Q-Learning(RainbowDQN)is proposed to allocate computation tasks for mobile devices,edge and cloud servers,which is able to comprehensively consider the balance of task turnaround time,link quality,and other factors,thus effectively improving system performance and user *** addition,a task scheduling strategy based on PTS-RDQN is proposed,which is capable of realizing dynamic task allocation according to device *** results based on many simulation experiments show that the proposed method can effectively improve the resource utilization,and provide an effective task scheduling strategy for the edge computing system with cloud-edge-end architecture.

关键词： edge computing task scheduling reinforcement learning Rainbow Deep Q-Learning(RainbowDQN)

来源：评论

学校读者我要写书评

暂无评论

A unified user behavior model for trajectory-based tasks with different types of path constraints

引用

science China(Information sciences) 2023年第10期66卷 316-318页

作者： Hao ZHANG Jin HUANG Huawei TU Feng TIAN Guozhong DAI Hongan WANG Beijing Key Laboratory of Human-Computer Interaction Institute of Software Chinese Academy of Sciences School of Computer Science and Technology University of Chinese Academy of Sciences School of Artificial Intelligence University of Chinese Academy of Sciences Department of Computer Science and Information Technology La Trobe University

An important research branch of human-computer interaction(HCI) is to develop predictive models for human performance in fundamental interactions [1]. On today's graphical user interface(GUI), users often implicitly perform various trajectory-based interactions, such as navigating through menus [2], entering the boundary of a button,

关键词：

来源：评论

学校读者我要写书评

暂无评论

Empirically revisiting and enhancing automatic classification of bug and non-bug issues

引用

Frontiers of computer science 2024年第5期18卷 25-44页

作者： Zhong LI Minxue PAN Yu PEI Tian ZHANG Linzhang WANG Xuandong LI State Key Laboratory for Novel Software Technology Nanjing UniversityNanjing 210023China Department of Computer Science and Technology Nanjing UniversityNanjing 210023China Software Institute Nanjing UniversityNanjing 210093China Department of Computing The Hong Kong Polytechnic UniversityHong KongChina

A large body of research effort has been dedicated to automated issue classification for Issue Tracking Systems(ITSs).Although the existing approaches have shown promising performance,the different design choices,including the different textual fields,feature representation methods and machine learning algorithms adopted by existing approaches,have not been comprehensively compared and *** fill this gap,we perform the first extensive study of automated issue classification on 9 state-of-the-art issue classification *** experimental results on the widely studied dataset reveal multiple practical guidelines for automated issue classification,including:(1)Training separate models for the issue titles and descriptions and then combining these two models tend to achieve better performance for issue classification;(2)Word embedding with Long Short-Term Memory(LSTM)can better extract features from the textual fields in the issues,and hence,lead to better issue classification models;(3)There exist certain terms in the textual fields that are helpful for building more discriminating classifiers between bug and non-bug issues;(4)The performance of the issue classification model is not sensitive to the choices of ML *** on our study outcomes,we further propose an advanced issue classification approach,DEEPLABEL,which can achieve better performance compared with the existing issue classification approaches.

关键词： issue tracking issue type prediction empirical study

来源：评论

学校读者我要写书评

暂无评论

Graph-Based Multitask Transfer Learning for Fault Detection and Diagnosis of Few-Shot Analog Circuits

引用

IEEE Internet of Things Journal 2025年第12期12卷 21264-21279页

作者： Gao, Zhongyu Yan, Aibin Huang, Zhengfeng Cui, Jie Roh, Byeong-Hee Liu, Guangzhu Girard, Patrick Wen, Xiaoqing Anhui University School of Computer Science and Technology Hefei230601 China Hefei University of Technology School of Microelectronics Hefei230009 China Ajou University Department of Software and Computer Engineering Suwon16499 Korea Republic of University of Montpellier CNRS LIRMM Montpellier34095 France Kyushu Institute of Technology Department of Computer Science and Networks Fukuoka820-8502 Japan

Building an interpretable fault detection and diagnostic model based on few-shot circuit samples and prior information about circuit structures is of significant importance. To fill these gaps, we propose a graph-based multitask transfer learning (TL) method for fault detection and diagnosis of circuits under few-shot conditions. First, in order to model the interconnections of nodes in a circuit, the sample data is organized into a graph structure, and a semi-supervised graph-based structural feature fusion method is proposed. The proposed method can accept graph-structured data and process the data using feature fusion methods. Second, to improve the model performance under few-shot conditions, two TL mechanisms are proposed for the topological structure characteristics of analog circuits as well as circuit signal characteristics. Finally, through a parameter-shared strategy, we propose a task transfer-based fault diagnosis approach. Experimental results on three different circuits show that the proposed method has the best diagnostic accuracy compared to typical detection and diagnosis schemes. © 2014 IEEE.

关键词： Self-supervised learning

来源：评论

学校读者我要写书评

暂无评论

Improved Hybrid Deep Collaborative Filtering Approach for True Recommendations

引用

computers, Materials & Continua 2023年第3期74卷 5301-5317页

作者： Muhammad Ibrahim Imran Sarwar Bajwa Nadeem Sarwar Haroon Abdul Waheed Muhammad Zulkifl Hasan Muhammad Zunnurain Hussain Department of Computer Science The Islamia University of BahawalpurBahawalpurPakistan Department of Computer Science Bahria University Lahore CampusLahorePakistan Software Engineering Department Faculty of ITUniversity of Central PunjabLahorePakistan Faculty of Computer Science and Information Technology Universiti Putra MalaysiaSelangorMalaysia

Recommendation services become an essential and hot research topic for researchers *** data such asReviews play an important role in the recommendation of the *** was achieved by deep learning approaches for capturing user and product information from a short ***,such previously used approaches do not fairly and efficiently incorporate users’preferences and product *** proposed novel Hybrid Deep Collaborative Filtering(HDCF)model combines deep learning capabilities and deep interaction modeling with high performance for True *** overcome the cold start problem,the new overall rating is generated by aggregating the Deep Multivariate Rating DMR(Votes,Likes,Stars,and Sentiment scores of reviews)from different external data sources because different sites have different rating scores about the same product that make confusion for the user to make a decision,either product is truly popular or *** proposed novel HDCF model consists of four major modules such as User Product Attention,Deep Collaborative Filtering,Neural Sentiment Classifier,and Deep Multivariate Rating(UPA-DCF+NSC+DMR)to solve the addressed *** results demonstrate that our novel model is outperforming state-of-the-art IMDb,Yelp2013,and Yelp2014 datasets for the true top-n recommendation of products using HDCF to increase the accuracy,confidence,and trust of recommendation services.

关键词： Neural sentiment classification user product attention deep collaborative filtering multivariate rating artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

AI-Driven Innovations: Transforming Data Support and Environmental Management for the Future

AI-Driven Innovations: Transforming Data Support and Environ...

引用

2024 International Conference on Decision Aid sciences and Applications, DASA 2024

作者： Mahfuri, Mahmoud Ibrahim, Amer International University for Science and Technology Computer and Information Technology Department Syria United Arab Emirates University Department of Computer Science and Software Engineering United Arab Emirates

ISBN: (纸本)9798350369106

This paper presents the evolving role of artificial intelligence (AI) in improving internal control and management processes. AI-driven technologies, including Generative Adversarial Networks (GANs) and ontologies, in addition to enabling data-supported decision-making, and empowering local governments to execute administrative tasks more efficiently and effectively. The study explores the wide range of opportunities that AI offers, highlighting the potential for optimizing internal workflows. Besides, it delves into key challenges, models, and methods for fully integrating AI into organizational processes, providing actionable insights for achieving streamlined, data-driven management systems. © 2024 IEEE.

关键词： Generative adversarial networks

来源：评论

学校读者我要写书评

暂无评论

Analysis and Classification of Fake News Using Sequential Pattern Mining

引用

Big Data Mining and Analytics 2024年第3期7卷 942-963页

作者： M.Zohaib Nawaz M.Saqib Nawaz Philippe Fournier-Viger Yulin He College of Computer Science and Software Engineering Shenzhen UniversityShenzhen 518060 Guangdong Laboratory of Artificial Intelligence and Digital Economy(SZ) Shenzhen 518107China Department of Computer Science Faculty of Computing and Information TechnologyUnivesity of SargodhaSargodha 40100Pakistan

Disinformation,often known as fake news,is a major issue that has received a lot of attention *** researchers have proposed effective means of detecting and addressing *** machine and deep learning based methodologies for classification/detection of fake news are content-based,network(propagation)based,or multimodal methods that combine both textual and visual *** introduce here a framework,called FNACSPM,based on sequential pattern mining(SPM),for fake news analysis and *** this framework,six publicly available datasets,containing a diverse range of fake and real news,and their combination,are first transformed into a proper ***,algorithms for SPM are applied to the transformed datasets to extract frequent patterns(and rules)of words,phrases,or linguistic *** obtained patterns capture distinctive characteristics associated with fake or real news content,providing valuable insights into the underlying structures and commonalities of ***,the discovered frequent patterns are used as features for fake news *** framework is evaluated with eight classifiers,and their performance is assessed with various *** experiments were performed and obtained results show that FNACSPM outperformed other state-of-the-art approaches for fake news classification,and that it expedites the classification task with high accuracy.

关键词： disinformation fake news sequential pattern mining(SPM) frequent patterns classification

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：