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

Can i Get There? Negotiated User-to-User Teleportations in Social VR

IEEE Transactions on Visualization and computer Graphics 2025年第5期31卷 2320-2330页

作者： Wang, Miao Shu, Wen-Tong Li, Yi-Jun Li, Wanwan School of Computer Science and Engineering State Key Laboratory of Virtual Reality Technology and Systems Beihang University Beijing100191 China Zhongguancun Laboratory Beijing100094 China Tsinghua University Department of Computer Science and Technology Beijing100084 China Tandy School of Computer Science University of Tulsa Tulsa United States

The growing adoption of social virtual reality (VR) platforms underscores the importance of safeguarding personal VR space to maintain user privacy and security. Teleportation, a prevalent instantaneous locomotion method in VR, facilitates user engagement but can also inadvertently intrude upon personal VR space, thereby raising privacy concerns. This paper introduces three innovative negotiated teleportation techniques designed to secure user-to-user teleportation and protect personal space privacy, all under a unified small-group development framework. We have designed and evaluated three types of negotiated teleportation techniques: Sector technique for directional control, Distance technique for minimum social distance control, and Area technique for defining circular permissible teleportation areas. These techniques foster a collaborative approach to selecting teleportation points that respect personal space. To evaluate the efficacy of these techniques, we conducted a user study with 20 participants who performed social tasks within a virtual campus environment. The findings demonstrate that our techniques significantly enhance privacy protection and alleviate anxiety associated with unwanted proximity in social VR. © 1995-2012 IEEE.

关键词： Virtual environments

来源：评论

学校读者我要写书评

暂无评论

Adversarial machine learning: a review of methods, tools, and critical industry sectors

引用

Artificial Intelligence Review 2025年第8期58卷 1-87页

作者： Pelekis, Sotiris Koutroubas, Thanos Blika, Afroditi Berdelis, Anastasis Karakolis, Evangelos Ntanos, Christos Spiliotis, Evangelos Askounis, Dimitris Decision Support Systems Laboratory School of Electrical and Computer Engineering National Technical University of Athens Athens Greece Superbo AI Athens Greece

The rapid advancement of Artificial Intelligence (AI), particularly Machine Learning (ML) and Deep Learning (DL), has produced high-performance models widely used in various applications, ranging from image recognition and chatbots to autonomous driving and smart grid systems. However, security threats arise from the vulnerabilities of ML models to adversarial attacks and data poisoning, posing risks such as system malfunctions and decision errors. Meanwhile, data privacy concerns arise, especially with personal data being used in model training, which can lead to data breaches. This paper surveys the Adversarial Machine Learning (AML) landscape in modern AI systems, while focusing on the dual aspects of robustness and privacy. Initially, we explore adversarial attacks and defenses using comprehensive taxonomies. Subsequently, we investigate robustness benchmarks alongside open-source AML technologies and software tools that ML system stakeholders can use to develop robust AI systems. Lastly, we delve into the landscape of AML in four industry fields –automotive, digital healthcare, electrical power and energy systems (EPES), and Large Language Model (LLM)-based Natural Language Processing (NLP) systems– analyzing attacks, defenses, and evaluation concepts, thereby offering a holistic view of the modern AI-reliant industry and promoting enhanced ML robustness and privacy preservation in the future. © The Author(s) 2025.

关键词： Deep learning

来源：评论

学校读者我要写书评

暂无评论

BEDiff: denoising diffusion probabilistic models for building extraction

引用

Optoelectronics Letters 2025年第5期21卷 298-305页

作者： LEI Yanjing WANG Yuan CHAN Sixian HU Jie ZHOU Xiaolong ZHANG Hongkai College of Computer Science and Technology Zhejiang University of Technology Hubei Key Laboratory of Intelligent Vision Based Monitoring for Hydroelectric Engineering College of Computer and Information China Three Gorges University Key Laboratory of Intelligent Informatics for Safety & Emergency of Zhejiang Province Wenzhou University College of Electrical and Information Engineering Quzhou University School of Electronic and Information Engineering Anhui Jianzhu University

Accurately identifying building distribution from remote sensing images with complex background information is challenging. The emergence of diffusion models has prompted the innovative idea of employing the reverse denoising process to distill building distribution from these complex backgrounds. Building on this concept, we propose a novel framework, building extraction diffusion model(BEDiff), which meticulously refines the extraction of building footprints from remote sensing images in a stepwise fashion. Our approach begins with the design of booster guidance, a mechanism that extracts structural and semantic features from remote sensing images to serve as priors, thereby providing targeted guidance for the diffusion process. Additionally, we introduce a cross-feature fusion module(CFM) that bridges the semantic gap between different types of features, facilitating the integration of the attributes extracted by booster guidance into the diffusion process more effectively. Our proposed BEDiff marks the first application of diffusion models to the task of building extraction. Empirical evidence from extensive experiments on the Beijing building dataset demonstrates the superior performance of BEDiff, affirming its effectiveness and potential for enhancing the accuracy of building extraction in complex urban landscapes.

关键词： A

来源：评论

学校读者我要写书评

暂无评论

ADACQR: Enhancing Query Reformulation for Conversational Search via Sparse and Dense Retrieval Alignment 31

ADACQR: Enhancing Query Reformulation for Conversational Sea...

引用

31st International Conference on Computational Linguistics, COLING 2025

作者： Lai, Yilong Wu, Jialong Zhang, Congzhi Sun, Haowen Zhou, Deyu School of Computer Science and Engineering Key Laboratory of Computer Network and Information Integration Ministry of Education Southeast University China

ISBN: (纸本)9798891761964

Conversational Query Reformulation (CQR) has significantly advanced in addressing the challenges of conversational search, particularly those stemming from the latent user intent and the need for historical context. Recent works aimed to boost the performance of CQR through alignment. However, they are designed for one specific retrieval system, which potentially results in sub-optimal generalization. To overcome this limitation, we present a novel framework ADACQR. By aligning reformulation models with both term-based and semantic-based retrieval systems, ADACQR enhances the generalizability of information-seeking queries among diverse retrieval environments through a two-stage training strategy. Moreover, two effective approaches are proposed to obtain superior labels and diverse input candidates, boosting the efficiency and robustness of the framework. Experimental results on the TopiOCQA, QReCC and TREC CAsT datasets demonstrate that ADACQR outperforms the existing methods in a more efficient framework, offering both quantitative and qualitative improvements in conversational query reformulation. © 2025 Association for Computational Linguistics.

关键词： Structured Query Language

来源：评论

学校读者我要写书评

暂无评论

SEED: Accelerating Reasoning Tree Construction via Scheduled Speculative Decoding 31

SEED: Accelerating Reasoning Tree Construction via Scheduled...

引用

31st International Conference on Computational Linguistics, COLING 2025

作者： Wang, Zhenglin Wu, Jialong Lai, Yilong Zhang, Congzhi Zhou, Deyu School of Computer Science and Engineering Key Laboratory of Computer Network and Information Integration Ministry of Education Southeast University China

ISBN: (纸本)9798891761964

Large Language Models (LLMs) demonstrate remarkable emergent abilities across various tasks, yet fall short of complex reasoning and planning tasks. The tree-search-based reasoning methods address this by encouraging the exploration of intermediate steps, surpassing the capabilities of chain-of-thought prompting. However, significant inference latency is introduced due to the systematic exploration and evaluation of multiple thought paths. This paper introduces SEED, a novel and efficient inference framework to improve both runtime speed and GPU memory management concurrently. Based on a scheduled speculative execution, SEED efficiently handles multiple iterations for thought generation and state evaluation, leveraging a rounds-scheduled strategy to manage draft model dispatching. Extensive experimental evaluations on three reasoning datasets demonstrate the superior speedup performance of SEED. © 2025 Association for Computational Linguistics.

关键词： Memory management

来源：评论

学校读者我要写书评

暂无评论

Security Strategy of Digital Medical Contents Based on Blockchain in Generative AI Model

引用

computers, Materials & Continua 2025年第1期82卷 259-278页

作者： Hoon Ko Marek R.Ogiela Division of Computer Science and Engineering Sunmoon UniversityAsan31460Republic of Korea AGH University of Krakow Cryptography and Cognitive Informatics LaboratoryKrakow30-059Poland

This study presents an innovative approach to enhancing the security of visual medical data in the generative AI environment through the integration of blockchain *** combining the strengths of blockchain and generative AI,the research team aimed to address the timely challenge of safeguarding visual medical *** participating researchers conducted a comprehensive analysis,examining the vulnerabilities of medical AI services,personal information protection issues,and overall security *** multi faceted exploration led to an indepth evaluation of the model’s performance and ***,the correlation between accuracy,detection rate,and error rate was *** analysis revealed insights into the model’s strengths and limitations,while the consideration of standard deviation shed light on the model’s stability and performance *** study proposed practical improvements,emphasizing the reduction of false negatives to enhance detection rate and leveraging blockchain technology to ensure visual data integrity in medical *** blockchain to generative AI-created medical content addresses key personal information protection *** utilizing the distributed ledger system of blockchain,the research team aimed to protect the privacy and integrity of medical data especially medical *** approach not only enhances security but also enables transparent and tamperproof ***,the use of generative AI models ensures the creation of novel medical content without compromising personal information,further safeguarding patient *** conclusion,this study showcases the potential of blockchain-based solutions in the medical field,particularly in securing sensitive medical data and protecting patient *** proposed approach,combining blockchain and generative AI,offers a promising direction toward more robust and secure medical content *** research and advancements

关键词： Digitalmedical content medical diagnostic visualization security analysis generativeAI blockchain vulnerability pattern recognition

来源：评论

学校读者我要写书评

暂无评论

When Crypto Fails: Demystifying Cryptographic Defects in Ethereum Smart Contracts

引用

IEEE Transactions on Software engineering 2025年第5期51卷 1381-1398页

作者： Zhang, Jiashuo Chen, Jiachi Shen, Yiming Zhang, Tao Wang, Yanlin Chen, Ting Gao, Jianbo Chen, Zhong Peking University School of Computer Science China Sun Yat-sen University School of Software Engineering China Macau University of Science and Technology School of Computer Science and Engineering China University of Electronic Science and Technology of China School of Computer Science and Engineering China Beijing Jiaotong University Beijing Key Laboratory of Security and Privacy in Intelligent Transportation China

Ethereum has officially provided a set of system-level cryptographic APIs to enhance smart contracts with cryptographic capabilities. These APIs have been utilized in over 13.8% of Ethereum transactions, motivating developers to implement various on-chain cryptographic tasks, such as digital signatures. However, since developers may not always be cryptographic experts, their ad-hoc and potentially defective implementations could compromise the theoretical guarantees of cryptography, leading to real-world security issues. To mitigate this threat, we conducted a comprehensive study aimed at demystifying and detecting cryptographic defects in smart contracts. Through the analysis of 3,762 real-world security reports, we defined 12 types of cryptographic defects in smart contracts with detailed descriptions and practical detection patterns. Based on this categorization, we proposed CryptoScan, the first static analyzer to automate the pre-deployment detection of cryptographic defects in smart contracts. CryptoScan utilizes cross-contract and inter-procedure static analysis to identify crypto-related execution paths and employs taint analysis to extract fine-grained crypto-specific semantics for defect detection. Furthermore, we collected a large-scale dataset containing 79,598 real-world crypto-related smart contracts and evaluated CRYPTOSCAN’s effectiveness on it. The results demonstrated that CryptoScan achieves an overall precision of 96.1% and a recall of 93.3%. Notably, CryptoScan revealed that 19,707 (24.8%) out of 79,598 smart contracts contain at least one cryptographic defect. Although not all defects directly cause financial losses, they indicate prevalent non-standard cryptographic implementations that should be addressed in real-world practices. © 2025 IEEE. All rights reserved.

关键词： Smart contract

来源：评论

学校读者我要写书评

暂无评论

Lossy Compression: An Online Multi-Stage Technology for High-Fidelity Synchro-Waveform Measurements

引用

IEEE Transactions on Industry Applications 2025年第3期61卷 4290-4300页

作者： Qiu, Wei Yin, He Wu, Yuru Dong, Yuqing Zheng, Yao Yao, Wenxuan Liu, Yilu Hunan University Department of Electrical Engineering and Computer Science Changsha410082 China University of Tennessee Department of Electrical Engineering and Computer Science KnoxvilleTN37996 United States Oak Ridge National Laboratory Oak RidgeTN37831 United States

Effective real-time monitoring and analysis of distributed grids necessitate the use of synchro-waveform measurements, which capture almost all high-frequency disturbances and transient phenomena. However, due to limitations in high-speed measurements and network bandwidth, it is challenging to transfer all high-fidelity synchro-waveforms losslessly and successfully. To cope with these challenges, a hybrid-based online multi-stage compression algorithm is proposed to significantly improve the compression efficiency for synchro-waveform measurements. Initially, the multiple discrete Wavelet transformation is deployed to deconstruct the waveform components. The delta encoding is further developed to decrease the magnitude. In conjunction with the Lempel-Ziv-Markov chain, the hybrid compression algorithm is implemented to achieve real-time compression for the synchro-waveform measurements. Moreover, an innovative error index that synergizes the time and frequency domain error and correlation is formulated to evaluate the waveform distortion. By integrating compression ratio, suitable parameters can be optimally selected. Finally, the simulation, laboratory experiments, as well as field tests across a spectrum of sampling frequencies and time intervals are conducted to substantiate the efficacy of the proposed method. The outcomes demonstrated that a compression ratio of approximately 15.5 and 17.83 can be reached for 0.5 s and 1 s data under both offline and online scenarios, which equates to a substantial 93.5% to 94.39% reduction in data storage requirements. © 1972-2012 IEEE.

关键词： Synchros

来源：评论

学校读者我要写书评

暂无评论

PBCounter:weighted model counting on pseudo-boolean formulas

引用

Frontiers of computer Science 2025年第3期19卷 55-63页

作者： Yong LAI Zhenghang XU Minghao YIN College of Computer Science and Technology Jilin UniversityChangchun 130012China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin UniversityChangchun 130012China School of Computer Science and Information Technology Northeast Normal UniversityChangchun 130017China

In Weighted Model Counting(WMC),we assign weights to literals and compute the sum of the weights of the models of a given propositional formula where the weight of an assignment is the product of the weights of its *** current WMC solvers work on Conjunctive Normal Form(CNF)***,CNF is not a natural representation for human-being in many *** by the stronger expressive power of Pseudo-Boolean(PB)formulas than CNF,we propose to perform WMC on PB *** on a recent dynamic programming algorithm framework called ADDMC for WMC,we implement a weighted PB counting tool *** compare PBCounter with the state-of-the-art weighted model counters SharpSAT-TD,ExactMC,D4,and ADDMC,where the latter tools work on CNF with encoding methods that convert PB constraints into a CNF *** experiments on three domains of benchmarks show that PBCounter is superior to the model counters on CNF formulas.

关键词： weighted model counting pseudo-boolean constraint algebraic decision diagrams preprocessing techniques

来源：评论

学校读者我要写书评

暂无评论

RISCORE: Enhancing In-Context Riddle Solving in Language Models through Context-Reconstructed Example Augmentation 31

RISCORE: Enhancing In-Context Riddle Solving in Language Mod...

引用

31st International Conference on Computational Linguistics, COLING 2025

作者： Panagiotopoulos, Ioannis Filandrianos, Giorgos Lymperaiou, Maria Stamou, Giorgos School of Electrical and Computer Engineering AILS Laboratory National Technical University of Athens Greece

ISBN: (纸本)9798891761964

Riddle-solving requires advanced reasoning skills, pushing Large Language Models (LLMs) to engage in abstract thinking and creative problem-solving, often revealing limitations in their cognitive abilities. In this paper, we examine the riddle-solving capabilities of LLMs using a multiple-choice format, exploring how different prompting techniques impact performance on riddles that demand diverse reasoning skills. To enhance results, we introduce RISCORE (RIddle Solving with COntext REcontruciton), a novel fully automated prompting method that generates and utilizes contextually reconstructed sentence-based puzzles in conjunction with the original examples to create few-shot exemplars. Our experiments demonstrate that RISCORE significantly improves the performance of language models in both vertical and lateral thinking tasks, surpassing traditional exemplar selection strategies across a variety of few-shot settings. © 2025 Association for Computational Linguistics.

关键词： Computational linguistics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：