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

arXiv 2025年

作者： Qasse, Ilham Hamdaqa, Mohammad Jónsson, Björn Þór Department of Computer Science Reykjavik University Reykjavik Iceland Department of Computer and Software Engineering Polytechnique Montreal Montreal Canada

Tracking the evolution of smart contracts is challenging due to their immutable nature and complex upgrade mechanisms. We introduce EvoChain, a comprehensive framework and dataset designed to track and visualize smart contract evolution. Building upon data from our previous empirical study, EvoChain models contract relationships using a Neo4j graph database and provides an interactive web interface for exploration. The framework consists of a data layer, an API layer, and a user interface layer. EvoChain allows stakeholders to analyze contract histories, upgrade paths, and associated vulnerabilities by leveraging these components. Our dataset encompasses approximately 1.3 million upgradeable proxies and nearly 15,000 historical versions, enhancing transparency and trust in blockchain ecosystems by providing an accessible platform for understanding smart contract evolution. © 2025, CC BY-NC-SA.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Posture Recognition-Based Robot Control Using Media Pipe Pose

Posture Recognition-Based Robot Control Using Media Pipe Pos...

引用

2025 International Conference on Electronics, Information, and Communication, ICEIC 2025

作者： Woo Kim, Jong Yeong Mun, Seo Park, BoJeong Choi, Younglim Kim, Hyunseok Dong-A University Dept. of Electronic Engineering Busan Korea Republic of Dong-A University Dept.of Mechanical Engineering Busan Korea Republic of Dong-A University Dept. of Software Innovation Center Busan Korea Republic of Dong-A University Dept. of Computer Engineering Busan Korea Republic of

ISBN: (纸本)9798331510756

This study proposed a body movement-based system for efficiently controlling robots in large indoor environments. Traditional hand gesture recognition systems experience significant accuracy loss in large indoor spaces, particularly as the distance between the user and the camera grows. To address this issue, clear and large body movements were used as control signals instead of hand movements. For example, participants could give commands to the robot by raising both hands or lifting one hand in a specific direction. The system utilized MediaPipe Pose to track the user's posture in real time and communicated commands from the server to the robot via TCP/IP socket communication. This structure ensured stable data transmission, enabling smooth robot control even in expansive spaces. Consequently, this research demonstrated the feasibility of effective robot control in large indoor areas, such as screen golf courses, and suggested the potential for system expansion in various indoor environments. © 2025 IEEE.

关键词： Human robot interaction

来源：评论

学校读者我要写书评

暂无评论

Runtime Enforcement of CPS against Signal Temporal Logic

arXiv

引用

arXiv 2025年

作者： Su, Han Shankar, Saumya Pinisetty, Srinivas Roop, Partha S. Zhan, Naijun Institute of Software CAS & University of CAS Beijing China Department of Electrical Computer and Software Engineering The University of Auckland Auckland New Zealand Indian Institute of Technology School of Electrical Sciences Bhubaneswar India The University of Auckland Department of Electrical Computer and Software Engineering Auckland New Zealand Peking University School of Computer Science Institute of Software CAS Beijing China

Cyber-Physical Systems (CPSs), especially those involving autonomy, need guarantees of their safety. Runtime Enforcement (RE) is a lightweight method to formally ensure that some specified properties are satisfied over the executions of the system. Hence, there is recent interest in the RE of CPS. However, existing methods are not designed to tackle specifications suitable for the hybrid dynamics of CPS. With this in mind, we develop runtime enforcement of CPS using properties defined in Signal Temporal Logic (STL). In this work, we aim to construct a runtime enforcer for a given STL formula to minimally modify a signal to satisfy the formula. To achieve this, the STL formula to be enforced is first translated into a timed transducer, while the signal to be corrected is encoded as timed words. We provide timed transducers for the temporal operators until and release noting that other temporal operators can be expressed using these two. Our approach enables effective enforcement of STL properties for CPS. A case study is provided to illustrate the approach and generate empirical evidence of its suitability for CPS. © 2025, CC BY-NC-ND.

关键词： Transducers

来源：评论

学校读者我要写书评

暂无评论

A Study of Emotional Expression Interface for Wheeled Mobile Robot to Enhance Emotional Bonding

A Study of Emotional Expression Interface for Wheeled Mobile...

引用

2025 International Conference on Electronics, Information, and Communication, ICEIC 2025

作者： Mun, SeoYeong Park, BoJeong Kim, JongWoo Choi, Younglim Kim, Hyunseok Dong-A University Dept. of Mechanical Engineering Busan Korea Republic of Dong-A University Dept. of Electronic Engineering Busan Korea Republic of Dong-A University Dept. of Software Innovation Center Busan Korea Republic of Dong-A University Dept. of Computer Engineering Busan Korea Republic of

ISBN: (纸本)9798331510756

This study aims to investigate how the emotional expression of robots and their physical design significantly influence the establishment of emotional bonds with users in Human-Robot Interaction (HRI). Utilizing the commercially available Wheeled Mobile Robot(WMR) designed for service tasks as our experimental platform, we've developed an intuitive interface that enhances emotional and physical interactions. By enriching the robot's emotional expression capabilities and incorporating thoughtful design features-such as LED color variations and ear-like elements-we pave the way for more authentic user experiences. Our upcoming user studies will rigorously evaluate the emotional connections, intimacy, and satisfaction levels that users feel during their interactions with the WMR, employing quantitative and qualitative analyses to measure the effectiveness of each design element. Ultimately, this research underscores the potential for robots to form meaningful relationships with users, making technology more relatable and engaging. © 2025 IEEE.

关键词： Human robot interaction

来源：评论

学校读者我要写书评

暂无评论

Adaptive Occlusion Face Recognition Feature Fusion Network Based on Precise Guidance Mask Extraction

引用

Journal of Shanghai Jiaotong University (Science) 2025年 1-12页

作者： Ye, Jihua Zhang, Lei Wang, Chao Tu, Qixuan Zheng, Rehua Huang, Huiyuan Jiang, Aiwen School of Computer and Information Engineering Jiangxi Normal University Nanchang330022 China Jiangxi Provincial Key Laboratory for High Performance Computing Jiangxi Normal University Nanchang330022 China State International Science & Technology Cooperation Base of Networked Supporting Software Jiangxi Normal University Nanchang330022 China

The uncertainty in the position and size of occluding objects greatly affects the extraction of identity features in facial recognition, which is a challenge that existing methods fail to effectively address. To tackle this issue, this paper introduces a novel feature fusion network for occluded facial recognition that adaptively handles arbitrary occlusions and accurately extracts occlusion information masks. The network effectively mitigates the impact of occlusions on facial identity features through a feature fusion module. The proposed method employs an occlusion classification module and an occlusion classification loss to precisely guide the extraction of accurate occlusion masks. Subsequently, an occlusion-aware hybrid attention module is introduced, which focuses on the relationship between facial features and occlusion masks across channel and spatial dimensions. This fusion strategy enables the extraction of facial identity features that are resilient to occlusions. Experimental results indicate that the proposed method holds a significant advantage in handling facial recognition tasks with arbitrary occlusions. On the LFW and MF1 synthetic occlusion datasets, the average accuracy rates reached 93.19% and 72.57%, respectively, showing improvements of 1.7 and 2.39 percent points over mainstream methods. © Shanghai Jiao Tong University 2025.

关键词： A feature fusion occluded facial recognition occlusion mask occlusion perception TP391.41

来源：评论

学校读者我要写书评

暂无评论

Transformer-based multi-level attention integration network for video saliency prediction

引用

Multimedia Tools and Applications 2025年第13期84卷 11833-11854页

作者： Tan, Rui Sun, Minghui Liang, Yanhua Software College Jilin University Qianjin Street Jilin Changchun130012 China College of Computer Science and Technology Jilin University Qianjin Street Jilin Changchun130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Qianjin Street Jilin Changchun130012 China

Most existing models for video saliency prediction heavily rely on 3D convolutional operations to extract spatio-temporal features. However, it is worth noting that 3D convolution produces a local receptive field, which may struggle to capture long-range spatio-temporal dependencies effectively. To compensate for such shortage, this paper introduces a novel approach called the Transformer-based Multi-level Attention Integration Network (TMAI-Net) for video saliency prediction. TMAI-Net is designed as a two-stream encoder-decoder model, carefully integrating multi-level features of semantic information. Our model incorporates a Multi-level Interactive Attention(MLIA) module and a Transformer, both implemented based on self-attention mechanism, which are placed at different levels of the model to capture long-range spatio-temporal feature dependencies. Additionally, our model operates on input video frames and attentional patches, allowing the Transformer module to capture structural similarities between related objects in global features and attention features. This, in turn, enables the model to allocate increased attention to salient areas. The efficacy of our proposed approach is validated through extensive experiments conducted on three widely recognized benchmark datasets. © The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2024.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

Efficient Fingerprint Database Organization for Optimized Recognition

Efficient Fingerprint Database Organization for Optimized Re...

引用

Emerging Smart Computing and Informatics (ESCI), Conference on

作者： Jeffrey Jeeva Dhas Adhip Koshy Nishit Dua D. Ajitha Department of Software Systems School of Computer Science and Engineering Vellore Institute of Technology Vellore Tamil Nadu India Department of Software Systems School of Computer Science and Engineering Vellore Institute of Technology Vellore Vellore India

ISBN: (数字)9798331515683

ISBN: (纸本)9798331515690

A popular biometric identification method, renowned for its dependability and individuality in personal identification, is fingerprint recognition. This article presents an efficient fingerprint identification system that significantly reduces processing times for 100,000 fingerprints from 8 minutes to less than 5 seconds by utilizing multithreading, ANSI 378 templates, and Source AFIS. The system overcomes the time-consuming image-to-template conversion procedure and increases overall storage efficiency by utilizing parallel processing and preformatted templates (ANSI/ISO). The fingerprint matching system incorporates Directional Field, CNN models for identifying fingerprint types, and Finger Code methods to classify fingerprints, improving precision and efficiency.

关键词： Technological innovation Multithreading Law enforcement System performance Organizations Machine learning Fingerprint recognition Biometric identification Real-time systems Informatics

来源：评论

学校读者我要写书评

暂无评论

CLIMS++: Cross Language Image Matching with Automatic Context Discovery for Weakly Supervised Semantic Segmentation

引用

International Journal of computer Vision 2025年 1-20页

作者： Xie, Jinheng Deng, Songhe Hou, Xianxu Luo, Zhaochuan Shen, Linlin Huang, Yawen Zheng, Yefeng Shou, Mike Zheng Computer Vision Institute School of Computer Science and Software Engineering Shenzhen University Shenzhen518060 China Department of Computer Science Wenzhou-Kean University Wenzhou325060 China Guangdong Provincial Key Laboratory of Intelligent Information Processing Shenzhen University Shenzhen China Show Lab National University of Singapore Singapore639798 Singapore School of AI and Advanced Computing Xi’an Jiaotong-Liverpool University Suzhou215400 China Jarvis Research Center Tencent YouTu Lab Shenzhen518703 China

While promising results have been achieved in weakly-supervised semantic segmentation (WSSS), limited supervision from image-level tags inevitably induces discriminative reliance and spurious relations between target classes and background regions. Thus, Class Activation Map (CAM) usually tends to activate discriminative object regions and falsely includes lots of class-related backgrounds. Without pixel-level supervisions, it could be very difficult to enlarge the foreground activation and suppress those false activation of background regions. In this paper, we propose a novel framework of Cross Language Image Matching with Automatic Context Discovery (CLIMS++), based on the recently introduced Contrastive Language-Image Pre-training (CLIP) model, for WSSS. The core idea of our framework is to introduce natural language supervision to activate more complete object regions and suppress class-related background regions in CAM. In particular, we design object, background region, and text label matching losses to guide the model to excite more reasonable object regions of each category. In addition, we propose to automatically find spurious relations between foreground categories and backgrounds, through which a background suppression loss is designed to suppress the activation of class-related backgrounds. The above designs enable the proposed CLIMS++ to generate a more complete and compact activation map for the target objects. Extensive experiments on PASCAL VOC 2012 and MS COCO 2014 datasets show that our CLIMS++ significantly outperforms the previous state-of-the-art methods. © The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2025.

关键词： Semantic Segmentation

来源：评论

学校读者我要写书评

暂无评论

Medical Image Classification with KAN-Integrated Transformers and Dilated Neighborhood Attention

arXiv

引用

arXiv 2025年

作者： Manzari, Omid Nejati Asgariandehkordi, Hojat Koleilat, Taha Xiao, Yiming Rivaz, Hassan Tehran Iran Department of Electrical and Computer Engineering Concordia University Montreal Canada Department of Computer Science and Software Engineering Concordia University Montreal Canada

Convolutional networks, transformers, hybrid models, and Mamba-based architectures have demonstrated strong performance across various medical image classification tasks. However, these methods were primarily designed to classify clean images using labeled data. In contrast, real-world clinical data often involve image corruptions that are unique to multi-center studies and stem from variations in imaging equipment across manufacturers. In this paper, we introduce the Medical Vision Transformer (MedViTV2), a novel architecture incorporating Kolmogorov-Arnold Network (KAN) layers into the transformer architecture for the first time, aiming for generalized medical image classification. We have developed an efficient KAN block to reduce computational load while enhancing the accuracy of the original MedViT. Additionally, to counteract the fragility of our MedViT when scaled up, we propose an enhanced Dilated Neighborhood Attention (DiNA), an adaptation of the efficient fused dot-product attention kernel capable of capturing global context and expanding receptive fields to scale the model effectively and addressing feature collapse issues. Moreover, a hierarchical hybrid strategy is introduced to stack our Local Feature Perception and Global Feature Perception blocks in an efficient manner, which balances local and global feature perceptions to boost performance. Extensive experiments on 17 medical image classification datasets and 12 corrupted medical image datasets demonstrate that MedViTV2 achieved state-of-the-art results in 27 out of 29 experiments with reduced computational complexity. MedViTV2 is 44% more computationally efficient than the previous version and significantly enhances accuracy, achieving improvements of 4.6% on MedMNIST, 5.8% on NonMNIST, and 13.4% on the MedMNIST-C benchmark. Our code is available at https://***/Omid-Nejati/*** © 2025, CC BY.

关键词： Medical imaging

来源：评论

学校读者我要写书评

暂无评论

Empowering Adaptive Endogenous Security Trend Prediction Detection for IoT Sensor Nodes 5

Empowering Adaptive Endogenous Security Trend Prediction Det...

引用

5th International Conference on Advances in Electrical, Electronics and Computing Technology, EECT 2025

作者： Zhou, Lihu Dong, Xiuying Zhang, Enli Wang, Ting Zhang, Xiao Zhang, Chong School of Computer Science and Software Engineering Southwest Petroleum University Chengdu China Exploration and Development Research Institute of PetroChina Southwest Oil & Gasfield Company Chengdu China School of Computer Science Chengdu University of Information Technology Chengdu China

ISBN: (纸本)9798331541545

Massively deployed IoT devices require a lightweight design to reduce costs. However, this architecture inherently limits their security, increasing the risk of data breaches and tampering on a large scale. In this paper, we propose CGAD, a model that leverages one-dimensional convolution (Conv1D), gated recurrent units (GRU), and the attention mechanism to analyze multi-sensor time series data at the data gateway from sensing terminals. To achieve this, we generate time series predictions and detect anomalies by comparing predicted values with real data using a threshold-based approach, thereby enhancing data security. To address the labeling problem of massive data, we employ unsupervised learning and design a dynamic sliding window threshold to improve the judgment of time series with varying characteristics. We also used a number of datasets, such as the KW51 railroad bridge dataset and the self-picked temperature and humidity dataset, to evaluate our system. The results demonstrate that our CGAD model achieves recall rates of 98% and 99% for anomaly detection on the two datasets, respectively. Additionally, the precision and F1 scores surpass other methods, ensuring cost-effectiveness for massive terminals and addressing the security issues of sensitive data. These advantages contribute to realizing the Internet of Everything. © 2025 IEEE.

关键词： Gateways (computer networks)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：