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

5th International Conference on Emerging Information Security and Applications, EISA 2024

作者： Deng, Liangjun Zhong, Qi Lei, Hang Qiu, Yao Chen, Jingxue School of Information and Software Engineering University of Electronic Science and Technology of China Chengdu610054 China Faculty of Data Science City University of Macau China Ningbo Polytechnic College Zhejiang Ningbo315800 China School of Mathematical and Physical Sciences University of Technology Sydney SydneyNSW2007 Australia

ISBN: (纸本)9783031804182

Capturing the logical structure of programming languages poses a significant challenge for program analysis. Given the complex syntax rules, subjective code vulnerabilities, irrelevant statements, code annotations, and intricate structural information, related studies have explored various semantic comprehension and intermediate representation approaches to extract precise information for program analysis. However, most research in the generic domain ignores defective and non-defective program code, putting them in the same category. In this paper, we introduce a new program analysis method that combines WebAssembly (Wasm) instructions with a 20-billion-parameter transformer model and natural language processing. This approach aims to advance the capabilities of program analysis tools in computer science by jointly embedding Wasm instructions and natural language for more effective program analysis. Our experiments demonstrate that this fused embedding approach achieves state-of-the-art performance, and the accuracy reaches approximately 98 percent, better than traditional small-scale weight models based on intricate conversion tasks such as abstract syntax trees(AST). Moreover, it is more valuable to classify potential vulnerable and non-vulnerable programs in the formal verification special field. Our exploration enhances traditional program classification methods in software security and introduces the application of GPT to offer a more straightforward, convenient, and high-performance approach. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Dual Encoders for Diffusion-based Image Inpainting

Dual Encoders for Diffusion-based Image Inpainting

引用

International Conference on Acoustics, Speech, and Signal Processing (ICASSP)

作者： Dezhi Zheng Kaijun Deng Jinbao Wang Linlin Shen Computer Vision Institute School of Computer Science and Software Engineering Shenzhen University Shenzhen China National Engineering Laboratory for Big Data System Computing Technology Shenzhen University Shenzhen China Guangdong Provincial Key Laboratory of Intelligent Information Processing Shenzhen China

ISBN: (数字)9798350368741

ISBN: (纸本)9798350368758

Current diffusion-based inpainting models struggle to preserve unmasked regions or generate highly coherent content. Additionally, it is hard for them to generate meaningful content for 3D inpainting. To tackle these challenges, we design a plug-and-play branch that runs through the entire generation process to enhance existing models. Specifically, we utilize dual encoders - a Convolutional Neural Network (CNN) encoder and the pre-trained Variational AutoEncoder (VAE) encoder, to encode masked images. The latent code and the feature map from the dual encoders are fed to diffusion models simultaneously. In addition, we apply Zero-padded initialization to solve the problem of mode collapse caused by this branch. Experiments on BrushBench and EditBench demonstrate that models with our plug-and-play branch can improve the coherence of inpainting, and our model achieves new state-of-the-art results.

关键词： Visualization Three-dimensional displays Codes Autoencoders Coherence Signal processing Diffusion models Decoding Convolutional neural networks Speech processing

来源：评论

学校读者我要写书评

暂无评论

Evidential Calibrated Uncertainty-Guided Interactive Segmentation paradigm for Ultrasound Images

arXiv

引用

arXiv 2025年

作者： Shang, Jiang Wu, Yuanmeng Han, Xiaoxiang Chen, Xi Zhang, Qi Lab Shanghai Institute for Advanced Communication and Data Science School of Communication and Information Engineering Shanghai University Shanghai200444 China The Software Engineering Institute East China Normal University Shanghai200062 China The College of Liberal Arts and Science University of Illinois Urbana-Champaign UrbanaIL United States

Accurate and robust ultrasound image segmentation is critical for computer-aided diagnostic systems. Nevertheless, the inherent challenges of ultrasound imaging, such as blurry boundaries and speckle noise, often cause traditional segmentation methods to struggle with performance. Despite recent advancements in universal image segmentation, such as the Segment Anything Model, existing interactive segmentation methods still suffer from inefficiency and lack of specialization. These methods rely heavily on extensive accurate manual or random sampling prompts for interaction, necessitating numerous prompts and iterations to reach satisfactory performance. In response to this challenge, we propose the Evidential Uncertainty-Guided Interactive Segmentation (EUGIS), an end-to-end, efficient tiered interactive segmentation paradigm based on evidential uncertainty estimation for ultrasound image segmentation. Specifically, EUGIS harnesses evidence-based uncertainty estimation, grounded in Dempster-Shafer theory and Subjective Logic, to gauge the level of uncertainty in the predictions of model for different regions. By prioritizing sampling the high-uncertainty region, our method can effectively simulate the interactive behavior of well-trained radiologists, enhancing the targeted of sampling while reducing the number of prompts and iterations required. Additionally, we propose a trainable calibration mechanism for uncertainty estimation, which can further optimize the boundary between certainty and uncertainty, thereby enhancing the confidence of uncertainty estimation. Extensive experiments on three ultrasound datasets demonstrate the competitiveness of EUGIS against the state-of-the-art non-interactive segmentation and interactive segmentation models. We believe this new paradigm will provide a novel perspective for the field of interactive segmentation and is expected to promote further development of interactive image segmentation for ultrasound image. Code and data wi

关键词： Ultrasonic imaging

来源：评论

学校读者我要写书评

暂无评论

TPE for JPEG images with Dynamic M-ary Decomposition and Adaptive Threshold Constraints

引用

IEEE Transactions on Circuits and Systems for Video Technology 2025年

作者： Ma, Yakun Chai, Xiuli Long, Guoqiang Gan, Zhihua Zhang, Yushu Henan University School of Artificial Intelligence Henan Engineering Research Center for Industrial Internet of Things Zhengzhou450046 China Henan University School of Software Intelligent Data Processing Engineering Research Center of Henan Province Institute of Intelligent Network System Kaifeng475004 China Nanjing University of Aeronautics and Astronautics College of Computer Science and Technology Nanjing211106 China

Traditional JPEG image encryption that prioritizes solely confidentiality fails to account for the pressing usability requirements of cloud-based environments, thus boosting the boom in thumbnail-preserving encryption (TPE) to balance image privacy and usability. However, existing TPE schemes for JPEG images face numerous challenges, such as insufficient security, inability to achieve lossless decryption, and high file extension. To address these challenges, we propose a TPE scheme based on dynamic M-ary decomposition and adaptive threshold constraints (TPE-MDTC). First, the valid ranges of quantized DC coefficients for JPEG images are determined. Then, a sum-preserving encryption method for quantized DC coefficients with compliance threshold constraints is designed using the bit-plane permutation to preserve thumbnails with high accuracy. Next, the introduction of dynamic M-ary decomposition effectively changes bit statistical characteristics preserved by bit-plane permutation, enhancing the ciphertext security. Finally, a quantized AC encryption method with RV (Run/Value) pair global permutation is proposed, effectively modifying the unit block features, thereby significantly improving the security and attack resistance of encrypted images. Experimental results show that the proposed TPE-MDTC scheme can reconstruct the original JPEG images without loss, and the generated ciphertext images exhibit significant advantages over previous schemes regarding file extension and security. © 1991-2012 IEEE.

关键词： Ciphertext

来源：评论

学校读者我要写书评

暂无评论

Calibration Signal Assisted Emitter Localization under Sensor Position Uncertainty

引用

IEEE Transactions on Aerospace and Electronic Systems 2025年

作者： You, Ming-Yi Pu, Wenqiang Zhou, Rui Ye, Yun-Xia Xiao, Minrui Wang, Wei Shi, Qingjiang No.36 Research Institute of CETC National Key Laboratory of Electromagnetic Space Security Jiaxing314033 China The Chinese University of Hong Kong-Shenzhen Shenzhen Research Institute of Big Data Shenzhen518172 China Shanghai Jiaotong University School of Sensing Science and Engineering Shanghai200240 China Tongji University School of Software Engineering Shanghai200070 China

The uncertainty of sensor position significantly compromises the accuracy of source localization within the direct position determination (DPD) framework. This paper explores the use of an external calibrator that emits a calibration signal with a known position to mitigate the impact of sensor position uncertainty on localization accuracy. By utilizing the calibration signal, we develop a refined Gibbs sampling algorithm as the initial step to effectively address the high-dimensional optimization problem associated with sensor position calibration. In the second step, we account for measurement noise and estimation uncertainties in the calibrated sensor positions and propose a revised DPD method, which demonstrates greater resilience to sensor position uncertainty compared to existing methods. We also derive the Cramer-Rao Lower Bound for emitter position under scenarios both with and without an external calibrator. Numerical simulations are performed to evaluate the performance of our proposed algorithms against several benchmark methods, demonstrating the effectiveness of our approach. © 1965-2011 IEEE.

关键词： Cramer-Rao bounds

来源：评论

学校读者我要写书评

暂无评论

WeakMedSAM: Weakly-Supervised Medical Image Segmentation via SAM with Sub-Class Exploration and Prompt Affinity Mining

arXiv

引用

arXiv 2025年

作者： Wang, Haoran Huai, Lian Li, Wenbin Qi, Lei Jiang, Xingqun Shi, Yinghuan National Key Laboratory for Novel Software Technology The National Institute of Healthcare Data Science Nanjing University Jiangsu Nanjing China National Key Laboratory for Novel Software Technology National Institute of Healthcare Data Science Nanjing University Nanjing Drum Tower Hospital Jiangsu Nanjing China National Key Laboratory for Novel Software Technology Nanjing University Jiangsu Nanjing China Lab School of Computer Science and Engineering Southeast University Jiangsu Nanjing China BOE Technology Group Co. Ltd. Beijing China

We have witnessed remarkable progress in foundation models in vision tasks. Currently, several recent works have utilized the segmenting anything model (SAM) to boost the segmentation performance in medical images, where most of them focus on training an adaptor for fine-tuning a large amount of pixel-wise annotated medical images following a fully supervised manner. In this paper, to reduce the labeling cost, we investigate a novel weakly-supervised SAM-based segmentation model, namely WeakMedSAM. Specifically, our proposed WeakMedSAM contains two modules: 1) to mitigate severe co-occurrence in medical images, a sub-class exploration module is introduced to learn accurate feature representations. 2) to improve the quality of the class activation maps, our prompt affinity mining module utilizes the prompt capability of SAM to obtain an affinity map for random-walk refinement. Our method can be applied to any SAM-like backbone, and we conduct experiments with SAMUS and EfficientSAM. The experimental results on three popularly-used benchmark datasets, i.e., BraTS 2019, AbdomenCT-1K, and MSD Cardiac dataset, show the promising results of our proposed WeakMedSAM. Our code is available at https://***/wanghr64/WeakMedSAM. Copyright © 2025, The Authors. All rights reserved.

关键词： Medical imaging

来源：评论

学校读者我要写书评

暂无评论

Efficient COVID-19 detection using data mining algorithms: a comparison of basic and hybrid approaches

引用

Soft Computing 2025年第3期29卷 1437-1451页

作者： Saidi, Mohammad Gheibi, Mohammad Ghazikhani, Adel Lotfata, Aynaz Chahkandi, Benyamin Familsamavati, Sajad Behzadian, Kourosh Department of Computer Science Imam Reza International University Mashhad Iran MS of Software Engineering Information and Communication Technology Unit Mashhad Municipality Fire and Safety Services Organization Mashhad Iran Big Data Lab Imam Reza International University Mashhad Iran Institute for Nanomaterials Advanced Technologies and Innovation Technical University of Liberec Liberec46117 Czech Republic Tallinn10615 Estonia Department of Pathology Microbiology and Immunology School of Veterinary Medicine University of California Davis95616 United States Department of Urban and Regional Planning San Jose State University San Jose95192 United States Faculty of Civil and Environmental Engineering Gdansk University of Technology Narutowicza Street 11/12 80-233 Gdansk Poland Tecnologico de Monterrey Escuela de Ingeniería y Ciencias Monterrey Mexico School of Computing and Engineering University of West London London United Kingdom

Accurate and efficient diagnosis of COVID-19 remains a significant challenge due to the limitations of current detection methods, such as blood tests and chest scans, which can be time-consuming and error-prone. This study aims to compare the performance of basic and hybrid data mining algorithms in diagnosing COVID-19, using blood test results and clinical information to identify the most effective approach. A dataset of 200 records from suspected and infected COVID-19 patients, with 23 characteristics and one diagnostic class, was analysed. Nine data mining algorithms were tested: four basic algorithms (Naive Bayes, Support Vector Machine, Decision Tree, K-Nearest Neighbor) and five hybrid algorithms (Random Forest, AdaBoost, Majority Voting, XGBoost, Bagging). The study also integrated Response Surface Methodology (RSM) and Adaptive-Network-based Fuzzy Inference System (ANFIS) to enhance model performance. The Bagging algorithm demonstrated superior performance with an accuracy of 88%, sensitivity of 74%, and F-criterion of 78%. The integration of RSM and ANFIS further showed that a smart model could be developed for efficient pandemic crisis management, achieving up to 100% accuracy when considering key factors like AST, Albumin, and CRP. The findings suggest that Bagging and hybrid data mining algorithms can significantly improve COVID-19 detection, reducing time and errors in identifying exposed individuals. The study highlights the potential of combining machine learning techniques with RSM-ANFIS models for effective pandemic management and decision-making in medical settings. © The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature 2025.

关键词： Support vector machines

来源：评论

学校读者我要写书评

暂无评论

WMAJL: Watcher-Mediated Attention Joint Learning Model for Multimodal Relation Extraction

WMAJL: Watcher-Mediated Attention Joint Learning Model for M...

引用

International Conference on Acoustics, Speech, and Signal Processing (ICASSP)

作者： Yunrui Dong Guiduo Duan Tianxi Huang Yunhao Li School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu China Laboratory of Intelligent Collaborative Computing University of Electronic Science and Technology of China Chengdu China Trusted Cloud Computing and Big Data Key Laboratory of Sichuan Province Chengdu China Chengdu Textile College College of Humanities and General Education Chengdu China School of Information and Software Engineering University of Electronic Science and Technology of China Chengdu China

ISBN: (数字)9798350368741

ISBN: (纸本)9798350368758

In the domain of Multimodal Relation Extraction (MRE), we present the $\color{Red}{\text{W}}$atcher-$\color{Red}{\text{M}}$ediated $\color{Red}{\text{A}}$ttention $\color{Red}{\text{J}}$oint $\color{Red}{\text{L}}$earning Model ($\color{Red}{\text{WMAJL}}$), a novel approach addressing the challenges of modality alignment noise, cross-modal fusion disparity, preservation of textual relative position information, and the distinctiveness of classification labels. WMAJL employs an integrative framework leveraging contrastive learning and variational autoencoder constraints to mitigate modality alignment noise by prioritizing relevant semantic data and effectively reducing extraneous noise that does not contribute to the task. The model’s innovative architecture includes a mediator watcher, which facilitates enhanced cross-modal fusion by enabling nuanced information exchange between textual and visual modalities while preserving the unique characteristics of each modality. Additionally, the design of auxiliary tasks, such as Named Entity Recognition (NER), and output supervision constructs loss functions that preserve relative position information, ensuring a precise depiction of entity relationships throughout the multilayer encoding processes. A key differentiator of WMAJL is its label-centric self-information loss technique, inspired by InfoNCE, which trains the model to cluster similar relation labels in semantically coherent areas, thereby optimizing classification label uniqueness by discerning subtle differences among relation types. The synergistic application of these strategies has led to a significant enhancement of WMAJL’s performance, as evidenced by its state-of-the-art F1 score of $\color{Red}{84.93\%}$ on the MNRE dataset. This achievement surpasses existing benchmarks and sets a new standard for multimodal knowledge extraction, underscoring WMAJL’s potential to revolutionize the MRE landscape.

关键词： Resistance Visualization Technological innovation Noise Autoencoders Semantics Contrastive learning Nonhomogeneous media Speech processing Standards

来源：评论

学校读者我要写书评

暂无评论

A comprehensive survey on shadow removal from document images: datasets, methods, and opportunities

引用

Vicinagearth 2025年第1期2卷 1-18页

作者： Wang, Bingshu Li, Changping Zou, Wenbin Zhang, Yongjun Chen, Xuhang Chen, C.L. Philip School of Software Northwestern Polytechnical University Xi’an China Guangdong Provincial Key Laboratory of Intelligent Information Processing & Shenzhen Key Laboratory of Media Security Shenzhen University Shenzhen China Guangdong Key Laboratory of Intelligent Information Processing College of Electronics and Information Engineering Shenzhen University Shenzhen China Yongjun Zhang is with the State Key Laboratory of Public Big Data College of Computer Science and Technology Guizhou University Guiyang China School of Computer Science and Engineering Huizhou University Huizhou China School of Computer Science and Engineering South China University of Technology and Pazhou Lab Guangzhou China

With the rapid development of document digitization, people have become accustomed to capturing and processing documents using electronic devices such as smartphones. However, the captured document images often suffer from issues like shadows and noise due to environmental factors, which can affect their readability. To improve the quality of captured document images, researchers have proposed a series of models or frameworks and applied them in distinct scenarios such as image enhancement, and document information extraction. In this paper, we primarily focus on shadow removal methods and open-source datasets. We concentrate on recent advancements in this area, first organizing and analyzing nine available datasets. Then, the methods are categorized into conventional methods and neural network-based methods. Conventional methods use manually designed features and include shadow map-based approaches and illumination-based approaches. Neural network-based methods automatically generate features from data and are divided into single-stage approaches and multi-stage approaches. We detail representative algorithms and briefly describe some typical techniques. Finally, we analyze and discuss experimental results, identifying the limitations of datasets and methods. Future research directions are discussed, and nine suggestions for shadow removal from document images are proposed. To our knowledge, this is the first survey of shadow removal methods and related datasets from document images.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Enhance Learning Efficiency of Oblique Decision Tree via Feature Concatenation

arXiv

引用

arXiv 2025年

作者： Lyu, Shen-Huan He, Yi-Xiao Wang, Yanyan Qu, Zhihao Tang, Bin Ye, Baoliu Key Laboratory of Water Big Data Technology of Ministry of Water Resources College of Computer Science and Software Engineering Hohai University Nanjing China State Key Laboratory for Novel Software Technology Nanjing University Nanjing China School of Artificial Intelligence and Information Technology Nanjing University of Chinese Medicine Nanjing China

Oblique Decision Tree (ODT) separates the feature space by linear projections, as opposed to the conventional Decision Tree (DT) that forces axis-parallel splits. ODT has been proven to have a stronger representation ability than DT, as it provides a way to create shallower tree structures while still approximating complex decision boundaries. However, its learning efficiency is still insufficient, since the linear projections cannot be transmitted to the child nodes, resulting in a waste of model parameters. In this work, we propose an enhanced ODT method with Feature Concatenation (FC-ODT), which enables in-model feature transformation to transmit the projections along the decision paths. Theoretically, we prove that our method enjoys a faster consistency rate w.r.t. the tree depth, indicating that our method possesses a significant advantage in generalization performance, especially for shallow trees. Experiments show that FC-ODT can outperform the other state-of-the-art decision trees with a limited tree depth. Copyright © 2025, The Authors. All rights reserved.

关键词： Efficiency

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：