首页 > 最新文献

ACM Computing Surveys最新文献

英文 中文
Artificial Markers: A Comprehensive Systematic Review and Design Framework 人工标记:一个全面的系统回顾和设计框架
IF 16.6 1区 计算机科学 Q1 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 2026-01-24 DOI: 10.1145/3793661
Benedito Ribeiro Neto, Bianchi Meiguins, Tiago Araújo, Carlos dos Santos
Applications using fiducial markers have evolved across sectors such as industry, health, and education. Markers are effective because their highly distinguishable visual patterns and varied morphologies allow for high-accuracy pose estimation. However, designing a robust fiducial marker system is difficult and requires specific strategies to ensure reliability for applications such as photogrammetry and robot localization. This study aims to address this challenge through a systematic study of 88 articles selected using snowball methodology. This study focused on marker design characteristics to analyze different types of robustness. The goal of this study was to formally define fiducial markers, explore their intrinsic and extrinsic characteristics, and produce a taxonomy covering morphological and algorithmic aspects. The primary outcome is a comprehensive taxonomy and theoretical framework that provides best practices, guiding researchers in developing or employing robust fiducial markers tailored to their specific applications.
使用基准标记的应用程序已经在工业、卫生和教育等领域得到了发展。标记是有效的,因为它们高度可区分的视觉模式和不同的形态允许高精度的姿势估计。然而,设计一个强大的基准标记系统是困难的,并且需要特定的策略来确保诸如摄影测量和机器人定位等应用的可靠性。本研究旨在通过使用滚雪球方法选择88篇文章的系统研究来解决这一挑战。本研究侧重于标记设计特征来分析不同类型的稳健性。本研究的目的是正式定义基准标记,探索其内在和外在特征,并产生涵盖形态学和算法方面的分类。主要成果是提供最佳实践的综合分类和理论框架,指导研究人员开发或使用适合其特定应用的稳健基准标记。
{"title":"Artificial Markers: A Comprehensive Systematic Review and Design Framework","authors":"Benedito Ribeiro Neto, Bianchi Meiguins, Tiago Araújo, Carlos dos Santos","doi":"10.1145/3793661","DOIUrl":"https://doi.org/10.1145/3793661","url":null,"abstract":"Applications using fiducial markers have evolved across sectors such as industry, health, and education. Markers are effective because their highly distinguishable visual patterns and varied morphologies allow for high-accuracy pose estimation. However, designing a robust fiducial marker system is difficult and requires specific strategies to ensure reliability for applications such as photogrammetry and robot localization. This study aims to address this challenge through a systematic study of 88 articles selected using snowball methodology. This study focused on marker design characteristics to analyze different types of robustness. The goal of this study was to formally define fiducial markers, explore their intrinsic and extrinsic characteristics, and produce a taxonomy covering morphological and algorithmic aspects. The primary outcome is a comprehensive taxonomy and theoretical framework that provides best practices, guiding researchers in developing or employing robust fiducial markers tailored to their specific applications.","PeriodicalId":50926,"journal":{"name":"ACM Computing Surveys","volume":"40 1","pages":""},"PeriodicalIF":16.6,"publicationDate":"2026-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146044844","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Recent Advances in Automatic Term Extraction: A Comprehensive Survey 自动术语提取研究进展综述
IF 16.6 1区 计算机科学 Q1 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 2026-01-24 DOI: 10.1145/3787584
Hanh Tran, Matej Martinc, Jaya Caporusso, Julien Delaunay, Antoine Doucet, Senja Pollak
Automatic terminology or term extraction (ATE) is a Natural Language Processing (NLP) task intended to automatically identify specialized terms present in domain-specific corpora. As units of knowledge in a specific field of expertise, extracted terms are not only beneficial for several terminographical tasks, but also support and improve several complex downstream tasks, e.g., information retrieval, machine translation, topic detection, and sentiment analysis. ATE systems and datasets annotated for the task at hand have been studied and developed for decades, but more recent approaches have increasingly involved novel neural systems. Despite a large amount of new research on ATE tasks, systematic survey studies covering novel neural approaches are lacking, especially when it comes to the usage of large-scale language models (LLMs). We present a comprehensive survey of neural approaches to ATE, focusing on transformer-based neural models and the recent generative approaches based on LLMs. The study also compares these systems and previous ML-based approaches, which employed feature engineering and non-neural supervised learning algorithms.
自动术语或术语提取(ATE)是一种自然语言处理(NLP)任务,旨在自动识别特定领域语料库中存在的专门术语。作为特定专业领域的知识单元,提取的术语不仅对一些术语任务有益,而且还支持和改进了一些复杂的下游任务,例如信息检索、机器翻译、主题检测和情感分析。为手头任务注释的ATE系统和数据集已经研究和开发了几十年,但最近的方法越来越多地涉及新的神经系统。尽管有大量关于ATE任务的新研究,但缺乏涵盖新型神经方法的系统调查研究,特别是当涉及到大规模语言模型(llm)的使用时。我们对ATE的神经方法进行了全面的调查,重点是基于变压器的神经模型和最近基于llm的生成方法。该研究还将这些系统与以前基于机器学习的方法进行了比较,后者采用了特征工程和非神经监督学习算法。
{"title":"Recent Advances in Automatic Term Extraction: A Comprehensive Survey","authors":"Hanh Tran, Matej Martinc, Jaya Caporusso, Julien Delaunay, Antoine Doucet, Senja Pollak","doi":"10.1145/3787584","DOIUrl":"https://doi.org/10.1145/3787584","url":null,"abstract":"Automatic terminology or term extraction (ATE) is a Natural Language Processing (NLP) task intended to automatically identify specialized terms present in domain-specific corpora. As units of knowledge in a specific field of expertise, extracted terms are not only beneficial for several terminographical tasks, but also support and improve several complex downstream tasks, e.g., information retrieval, machine translation, topic detection, and sentiment analysis. ATE systems and datasets annotated for the task at hand have been studied and developed for decades, but more recent approaches have increasingly involved novel neural systems. Despite a large amount of new research on ATE tasks, systematic survey studies covering novel neural approaches are lacking, especially when it comes to the usage of large-scale language models (LLMs). We present a comprehensive survey of neural approaches to ATE, focusing on transformer-based neural models and the recent generative approaches based on LLMs. The study also compares these systems and previous ML-based approaches, which employed feature engineering and non-neural supervised learning algorithms.","PeriodicalId":50926,"journal":{"name":"ACM Computing Surveys","volume":"87 1","pages":""},"PeriodicalIF":16.6,"publicationDate":"2026-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146044924","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Bridging the Black Box: A Survey on Mechanistic Interpretability in AI 架起黑盒子:人工智能中机械可解释性的调查
IF 16.6 1区 计算机科学 Q1 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 2026-01-23 DOI: 10.1145/3787104
Shriyank Somvanshi, Md Monzurul Islam, Amir Rafe, Anannya Ghosh Tusti, Arka Chakraborty, Anika Baitullah, Tausif Islam Chowdhury, Nawaf Alnawmasi, Anandi Dutta, Subasish Das
Mechanistic interpretability seeks to reverse-engineer the internal logic of neural networks by uncovering human-understandable circuits, algorithms, and causal structures that drive model behavior. Unlike post hoc explanations that describe what models do, this paradigm focuses on why and how they compute, tracing information flow through neurons, attention heads, and activation pathways. This survey provides a high-level synthesis of the field-highlighting its motivation, conceptual foundations, and methodological taxonomy rather than enumerating individual techniques. We organize mechanistic interpretability across three abstraction layers- neurons , circuits , and algorithms -and three evaluation perspectives: behavioral , counterfactual , and causal . We further discuss representative approaches and toolchains that enable structural analysis of modern AI systems, outlining how mechanistic interpretability bridges theoretical insights with practical transparency. Despite rapid progress, challenges persist in scaling these analyses to frontier models, resolving polysemantic representations, and establishing standardized causal benchmarks. By connecting historical evolution, current methodologies, and emerging research directions, this survey aims to provide an integrative framework for understanding how mechanistic interpretability can support transparency, reliability, and governance in large-scale AI.
机械可解释性旨在通过揭示驱动模型行为的人类可理解的电路、算法和因果结构,对神经网络的内部逻辑进行逆向工程。与描述模型做什么的事后解释不同,这种范式侧重于它们为什么和如何计算,追踪通过神经元、注意力头和激活途径的信息流。该调查提供了该领域的高级综合-突出其动机,概念基础和方法分类,而不是列举个别技术。我们在三个抽象层(神经元、电路和算法)和三个评估视角(行为、反事实和因果)上组织了机制可解释性。我们进一步讨论了能够对现代人工智能系统进行结构分析的代表性方法和工具链,概述了机械可解释性如何将理论见解与实际透明度联系起来。尽管进展迅速,但在将这些分析扩展到前沿模型、解决多义表示和建立标准化因果基准方面仍然存在挑战。通过将历史演变、当前方法和新兴研究方向联系起来,本调查旨在提供一个综合框架,以理解机制可解释性如何支持大规模人工智能的透明度、可靠性和治理。
{"title":"Bridging the Black Box: A Survey on Mechanistic Interpretability in AI","authors":"Shriyank Somvanshi, Md Monzurul Islam, Amir Rafe, Anannya Ghosh Tusti, Arka Chakraborty, Anika Baitullah, Tausif Islam Chowdhury, Nawaf Alnawmasi, Anandi Dutta, Subasish Das","doi":"10.1145/3787104","DOIUrl":"https://doi.org/10.1145/3787104","url":null,"abstract":"Mechanistic interpretability seeks to reverse-engineer the internal logic of neural networks by uncovering human-understandable circuits, algorithms, and causal structures that drive model behavior. Unlike post hoc explanations that describe what models do, this paradigm focuses on why and how they compute, tracing information flow through neurons, attention heads, and activation pathways. This survey provides a high-level synthesis of the field-highlighting its motivation, conceptual foundations, and methodological taxonomy rather than enumerating individual techniques. We organize mechanistic interpretability across three abstraction layers- <jats:italic toggle=\"yes\">neurons</jats:italic> , <jats:italic toggle=\"yes\">circuits</jats:italic> , and <jats:italic toggle=\"yes\">algorithms</jats:italic> -and three evaluation perspectives: <jats:italic toggle=\"yes\">behavioral</jats:italic> , <jats:italic toggle=\"yes\">counterfactual</jats:italic> , and <jats:italic toggle=\"yes\">causal</jats:italic> . We further discuss representative approaches and toolchains that enable structural analysis of modern AI systems, outlining how mechanistic interpretability bridges theoretical insights with practical transparency. Despite rapid progress, challenges persist in scaling these analyses to frontier models, resolving polysemantic representations, and establishing standardized causal benchmarks. By connecting historical evolution, current methodologies, and emerging research directions, this survey aims to provide an integrative framework for understanding how mechanistic interpretability can support transparency, reliability, and governance in large-scale AI.","PeriodicalId":50926,"journal":{"name":"ACM Computing Surveys","volume":"1 1","pages":""},"PeriodicalIF":16.6,"publicationDate":"2026-01-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146042589","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Building Trust in Artificial Intelligence: A Systematic Review through the Lens of Trust Theory 在人工智能中建立信任:基于信任理论的系统回顾
IF 16.6 1区 计算机科学 Q1 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 2026-01-16 DOI: 10.1145/3789256
Massimo Regona, Tan Yigitcanlar, Carol Hon, Melissa Teo
Artificial intelligence (AI) is reshaping industries by enhancing efficiency and accuracy, yet its adoption remains contingent on user trust, which is frequently undermined by concerns over privacy, algorithmic bias, and security vulnerabilities. Trust in AI depends on principles such as transparency, accountability, safety, privacy, robustness, and reliability, all of which are central to user confidence. However, existing studies often overlook the interdependencies among these factors and their collective influence on user engagement. Guided by Trust Theory and a systematic literature review employing the PRISMA protocol, this study examines the trust indicators most relevant to high-stakes applications. The review reveals that transparency and communication are consistently prioritised, while adaptability and affordability remain underexplored, highlighting gaps in current scholarship. Trust in AI evolves as users gain experience with these systems, with reliability, predictability, and ethical alignment emerging as critical determinants. Addressing persistent challenges such as bias, data protection, and fairness is essential for reinforcing trust and enabling broader adoption of AI across industries.
人工智能(AI)正在通过提高效率和准确性来重塑行业,但它的采用仍然取决于用户的信任,而用户的信任经常因对隐私、算法偏见和安全漏洞的担忧而受到损害。对人工智能的信任取决于透明度、问责制、安全性、隐私性、稳健性和可靠性等原则,所有这些都是用户信心的核心。然而,现有的研究往往忽略了这些因素之间的相互依赖性以及它们对用户粘性的集体影响。本研究以信任理论为指导,采用PRISMA协议进行系统的文献回顾,研究了与高风险应用最相关的信任指标。该评估显示,透明度和沟通一直是优先考虑的问题,而适应性和可负担性仍未得到充分探讨,这凸显了当前学术研究的差距。随着用户对这些系统的使用经验的增加,对人工智能的信任也在不断发展,可靠性、可预测性和道德一致性成为关键的决定因素。解决偏见、数据保护和公平性等持续存在的挑战,对于加强信任和在各行业更广泛地采用人工智能至关重要。
{"title":"Building Trust in Artificial Intelligence: A Systematic Review through the Lens of Trust Theory","authors":"Massimo Regona, Tan Yigitcanlar, Carol Hon, Melissa Teo","doi":"10.1145/3789256","DOIUrl":"https://doi.org/10.1145/3789256","url":null,"abstract":"Artificial intelligence (AI) is reshaping industries by enhancing efficiency and accuracy, yet its adoption remains contingent on user trust, which is frequently undermined by concerns over privacy, algorithmic bias, and security vulnerabilities. Trust in AI depends on principles such as transparency, accountability, safety, privacy, robustness, and reliability, all of which are central to user confidence. However, existing studies often overlook the interdependencies among these factors and their collective influence on user engagement. Guided by Trust Theory and a systematic literature review employing the PRISMA protocol, this study examines the trust indicators most relevant to high-stakes applications. The review reveals that transparency and communication are consistently prioritised, while adaptability and affordability remain underexplored, highlighting gaps in current scholarship. Trust in AI evolves as users gain experience with these systems, with reliability, predictability, and ethical alignment emerging as critical determinants. Addressing persistent challenges such as bias, data protection, and fairness is essential for reinforcing trust and enabling broader adoption of AI across industries.","PeriodicalId":50926,"journal":{"name":"ACM Computing Surveys","volume":"124 1","pages":""},"PeriodicalIF":16.6,"publicationDate":"2026-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145986540","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Integration of IoT and Distributed Ledger Technologies: A Survey, Challenges, and Future Directions 物联网和分布式账本技术的整合:调查、挑战和未来方向
IF 16.6 1区 计算机科学 Q1 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 2026-01-16 DOI: 10.1145/3789255
Jusak Jusak, Steve Kerrison
IoT data demands are growing, with Distributed Ledger Technologies (DLTs) offering secure data management, provided they can meet scaling and efficiency requirements that are more restrictive than in conventional application environments. This paper comprehensively surveys 27 DLTs of varying paradigms and implementation methods, proposes a scoring method for determining DLT-IoT integration suitability, and then applies that method to the surveyed DLTs. Six DLTs were shortlisted as the most promising, which were then subjected to in-depth analysis around three IoT use cases: health-IoT, e-commerce and automotive manufacturing. We discuss the viability of lightweight DLTs and identify crucial future research directions.
物联网数据需求不断增长,分布式账本技术(dlt)提供安全的数据管理,前提是它们能够满足比传统应用环境更严格的扩展和效率要求。本文综合调查了27个不同范式和实现方法的dlt,提出了一种确定DLT-IoT集成适用性的评分方法,并将该方法应用于所调查的dlt。六个dlt被列为最有前途的,然后围绕三个物联网用例进行深入分析:健康物联网,电子商务和汽车制造。我们讨论了轻量级dlt的可行性,并确定了未来的关键研究方向。
{"title":"Integration of IoT and Distributed Ledger Technologies: A Survey, Challenges, and Future Directions","authors":"Jusak Jusak, Steve Kerrison","doi":"10.1145/3789255","DOIUrl":"https://doi.org/10.1145/3789255","url":null,"abstract":"IoT data demands are growing, with Distributed Ledger Technologies (DLTs) offering secure data management, provided they can meet scaling and efficiency requirements that are more restrictive than in conventional application environments. This paper comprehensively surveys 27 DLTs of varying paradigms and implementation methods, proposes a scoring method for determining DLT-IoT integration suitability, and then applies that method to the surveyed DLTs. Six DLTs were shortlisted as the most promising, which were then subjected to in-depth analysis around three IoT use cases: health-IoT, e-commerce and automotive manufacturing. We discuss the viability of lightweight DLTs and identify crucial future research directions.","PeriodicalId":50926,"journal":{"name":"ACM Computing Surveys","volume":"20 1","pages":""},"PeriodicalIF":16.6,"publicationDate":"2026-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145986542","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Interpretable Clustering: A Survey 可解释聚类:综述
IF 16.6 1区 计算机科学 Q1 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 2026-01-16 DOI: 10.1145/3789495
Lianyu Hu, Mudi Jiang, Junjie Dong, Xinying Liu, Zengyou He
In recent years, much of the research on clustering algorithms has primarily focused on enhancing their accuracy and efficiency, frequently at the expense of interpretability. However, as these methods are increasingly being applied in high-stakes domains such as healthcare, finance, and autonomous systems, the need of transparent and interpretable clustering outcomes has become a critical concern. This is not only necessary for gaining user trust but also for satisfying the growing ethical and regulatory demands in these fields. Ensuring that decisions derived from clustering algorithms can be clearly understood and justified is now a fundamental requirement. To address this need, this paper provides a comprehensive and structured review of the current state of explainable clustering algorithms, identifying key criteria to distinguish between various methods. These insights can effectively assist researchers in making informed decisions about the most suitable explainable clustering methods for specific application contexts, while also promoting the development and adoption of clustering algorithms that are both efficient and transparent. For convenient access and reference, an open repository organizes representative and emerging interpretable clustering methods under the taxonomy proposed in this survey, available at https://github.com/hulianyu/Awesome-Interpretable-Clustering
近年来,对聚类算法的研究主要集中在提高其准确性和效率上,往往以牺牲可解释性为代价。然而,随着这些方法越来越多地应用于高风险领域,如医疗保健、金融和自治系统,对透明和可解释的聚类结果的需求已成为一个关键问题。这不仅是获得用户信任的必要条件,也是满足这些领域日益增长的道德和监管要求的必要条件。确保来自聚类算法的决策能够被清楚地理解和证明是现在的基本要求。为了满足这一需求,本文对可解释聚类算法的现状进行了全面和结构化的回顾,确定了区分各种方法的关键标准。这些见解可以有效地帮助研究人员对特定应用环境下最合适的可解释聚类方法做出明智的决定,同时也促进了高效透明聚类算法的开发和采用。为了方便访问和参考,一个开放的存储库根据本调查提出的分类法组织了具有代表性的和新兴的可解释聚类方法,可在https://github.com/hulianyu/Awesome-Interpretable-Clustering上获得
{"title":"Interpretable Clustering: A Survey","authors":"Lianyu Hu, Mudi Jiang, Junjie Dong, Xinying Liu, Zengyou He","doi":"10.1145/3789495","DOIUrl":"https://doi.org/10.1145/3789495","url":null,"abstract":"In recent years, much of the research on clustering algorithms has primarily focused on enhancing their accuracy and efficiency, frequently at the expense of interpretability. However, as these methods are increasingly being applied in high-stakes domains such as healthcare, finance, and autonomous systems, the need of transparent and interpretable clustering outcomes has become a critical concern. This is not only necessary for gaining user trust but also for satisfying the growing ethical and regulatory demands in these fields. Ensuring that decisions derived from clustering algorithms can be clearly understood and justified is now a fundamental requirement. To address this need, this paper provides a comprehensive and structured review of the current state of explainable clustering algorithms, identifying key criteria to distinguish between various methods. These insights can effectively assist researchers in making informed decisions about the most suitable explainable clustering methods for specific application contexts, while also promoting the development and adoption of clustering algorithms that are both efficient and transparent. For convenient access and reference, an open repository organizes representative and emerging interpretable clustering methods under the taxonomy proposed in this survey, available at https://github.com/hulianyu/Awesome-Interpretable-Clustering","PeriodicalId":50926,"journal":{"name":"ACM Computing Surveys","volume":"55 1","pages":""},"PeriodicalIF":16.6,"publicationDate":"2026-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145986496","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Diagnosis of Benign Positional Vertigo: A Systematic Review of Machine Learning and Deep Learning within Videonystagmography 良性位置性眩晕的诊断:机器学习和深度学习在视频颤振术中的系统回顾
IF 16.6 1区 计算机科学 Q1 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 2026-01-16 DOI: 10.1145/3789494
Kunal Chaturvedi, Nicholas Yang, Donald Dansereau, Christopher Lovejoy, Ali Braytee, Miriam Welgampola, Mukesh Prasad
Benign Positional Vertigo (BPV) is a common and correctable cause of dizziness worldwide, accompanied by unique nystagmus characteristics that can be recognized by trained healthcare workers. Nystagmus is an involuntary eye movement, consisting of an initial slow phase often followed by a subsequent quick phase, and is a key indicator of vestibular disorders including BPV. This review focuses on the application of machine learning Models for BPV diagnosis through the classification of nystagmus patterns. We examine the advancements in machine learning and deep learning techniques for nystagmus detection, highlighting the transition from traditional methods to more sophisticated approaches. We include a comprehensive analysis of recent studies, detailing the methodologies, datasets, and results of various models. We discuss the ongoing challenges and future directions in this domain, emphasizing the potential of these technologies to assist diagnosis of BPV by untrained clinicians and the promise of better patient outcomes. Through a systematic literature review process, this paper identifies gaps in current research and suggests areas for future exploration, aiming to support the application of artificial intelligence in the diagnosis of a common vertigo subtype.
良性体位性眩晕(BPV)是一种常见和可纠正的全球头晕原因,伴随着独特的眼球震颤特征,可以由训练有素的医护人员识别。眼球震颤是一种不自主的眼球运动,由最初的慢相和随后的快相组成,是包括BPV在内的前庭疾病的关键指标。本文综述了机器学习模型在通过眼球震颤模式分类诊断BPV中的应用。我们研究了眼球震颤检测中机器学习和深度学习技术的进展,强调了从传统方法到更复杂方法的过渡。我们对最近的研究进行了全面的分析,详细介绍了各种模型的方法、数据集和结果。我们讨论了该领域目前面临的挑战和未来的发展方向,强调了这些技术在未经培训的临床医生协助BPV诊断方面的潜力,以及对患者更好预后的承诺。本文通过系统的文献综述,找出当前研究的空白,并提出未来探索的领域,旨在支持人工智能在常见眩晕亚型诊断中的应用。
{"title":"Diagnosis of Benign Positional Vertigo: A Systematic Review of Machine Learning and Deep Learning within Videonystagmography","authors":"Kunal Chaturvedi, Nicholas Yang, Donald Dansereau, Christopher Lovejoy, Ali Braytee, Miriam Welgampola, Mukesh Prasad","doi":"10.1145/3789494","DOIUrl":"https://doi.org/10.1145/3789494","url":null,"abstract":"Benign Positional Vertigo (BPV) is a common and correctable cause of dizziness worldwide, accompanied by unique nystagmus characteristics that can be recognized by trained healthcare workers. Nystagmus is an involuntary eye movement, consisting of an initial slow phase often followed by a subsequent quick phase, and is a key indicator of vestibular disorders including BPV. This review focuses on the application of machine learning Models for BPV diagnosis through the classification of nystagmus patterns. We examine the advancements in machine learning and deep learning techniques for nystagmus detection, highlighting the transition from traditional methods to more sophisticated approaches. We include a comprehensive analysis of recent studies, detailing the methodologies, datasets, and results of various models. We discuss the ongoing challenges and future directions in this domain, emphasizing the potential of these technologies to assist diagnosis of BPV by untrained clinicians and the promise of better patient outcomes. Through a systematic literature review process, this paper identifies gaps in current research and suggests areas for future exploration, aiming to support the application of artificial intelligence in the diagnosis of a common vertigo subtype.","PeriodicalId":50926,"journal":{"name":"ACM Computing Surveys","volume":"19 1","pages":""},"PeriodicalIF":16.6,"publicationDate":"2026-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145986544","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Lessons from Formally Verified Deployed Software Systems 经过正式验证的已部署软件系统的经验教训
IF 16.6 1区 计算机科学 Q1 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 2026-01-16 DOI: 10.1145/3785652
Li Huang, Sophie Ebersold, Alexander Kogtenkov, Bertrand Meyer, Yinling Liu
The technology of formal software verification has made spectacular advances, but how much does it actually benefit the development of practical software? Considerable disagreement remains about the practicality of building systems with mechanically-checked proofs of correctness. Is this prospect confined to a few expensive, life-critical projects, or can the idea be applied to a wide segment of the software industry? To help answer this question, the present survey examines a range of projects, in various application areas, that have produced formally verified systems and deployed them for actual use. It considers the technologies used, the form of verification applied, the results obtained, and the lessons that the software industry should draw regarding its ability to benefit from formal verification techniques and tools. Note: this version is the extended article, covering all the systems identified as relevant. A shorter version, covering only a selection, is also available.
正式的软件验证技术已经取得了惊人的进步,但是它对实际软件的开发有多大的好处呢?对于用机械检验的正确性证明来构建系统的实用性,仍然存在相当大的分歧。这种前景是局限于一些昂贵的、生命攸关的项目,还是可以应用到软件行业的更广泛的领域?为了帮助回答这个问题,本调查审查了在不同应用领域的一系列项目,这些项目已经产生了正式验证的系统,并将它们部署到实际使用中。它考虑了所使用的技术,所应用的验证形式,所获得的结果,以及软件行业应该从正式的验证技术和工具中获益的能力中吸取的教训。注意:这个版本是扩展的文章,涵盖了所有相关的系统。还有一个更短的版本,只涵盖了一部分内容。
{"title":"Lessons from Formally Verified Deployed Software Systems","authors":"Li Huang, Sophie Ebersold, Alexander Kogtenkov, Bertrand Meyer, Yinling Liu","doi":"10.1145/3785652","DOIUrl":"https://doi.org/10.1145/3785652","url":null,"abstract":"The technology of formal software verification has made spectacular advances, but how much does it actually benefit the development of practical software? Considerable disagreement remains about the practicality of building systems with mechanically-checked proofs of correctness. Is this prospect confined to a few expensive, life-critical projects, or can the idea be applied to a wide segment of the software industry? To help answer this question, the present survey examines a range of projects, in various application areas, that have produced formally verified systems and deployed them for actual use. It considers the technologies used, the form of verification applied, the results obtained, and the lessons that the software industry should draw regarding its ability to benefit from formal verification techniques and tools. Note: this version is the extended article, covering all the systems identified as relevant. A shorter version, covering only a selection, is also available.","PeriodicalId":50926,"journal":{"name":"ACM Computing Surveys","volume":"56 1","pages":""},"PeriodicalIF":16.6,"publicationDate":"2026-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145986543","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Function Calling in Large Language Models: Industrial Practices, Challenges, and Future Directions 大型语言模型中的函数调用:工业实践、挑战和未来方向
IF 16.6 1区 计算机科学 Q1 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 2026-01-14 DOI: 10.1145/3788284
Maolin Wang, Yingyi Zhang, Bowen Yu, Bingguang Hao, Cunyin Peng, Yicheng Chen, Wei Zhou, Jinjie Gu, Chenyi Zhuang, Ruocheng Guo, Wanyu Wang, Xiangyu Zhao
The swift evolution of Large Language Models (LLMs) like the GPT family, LLaMA, ChatGLM, and Qwen represents significant progress in artificial intelligence research. Despite their remarkable capabilities in generating content, these models encounter substantial challenges when producing structured outputs and engaging in dynamic interactions, particularly when they need to retrieve external information in real time. To address these limitations, researchers have developed the ”Function Calling” paradigm. This approach enables language models to analyze user inquiries and engage with defined functions, thereby facilitating precise responses through connections to external sources, including databases, programming interfaces, and live data streams. This functionality has been successfully implemented across numerous sectors such as finance analytics, healthcare systems, and service operations. The implementation of function calling comprises three essential phases: preparation, execution, and processing. The preparation phase encompasses query analysis and function identification. During execution, the system evaluates whether a function is necessary, extracts relevant parameters, and oversees the operation. The processing phase concentrates on analyzing outcomes and crafting appropriate responses. Each phase presents unique difficulties, ranging from accurately selecting functions to managing complex parameter extraction and ensuring reliable execution. Researchers have established various evaluation frameworks and metrics to assess function calling performance, including success rates, computational efficiency, parameter extraction accuracy, and response quality indicators such as ROUGE-L evaluation scores. This survey systematically reviews the current landscape of function calling in LLMs, analyzing technical challenges, examining existing solutions, and discussing evaluation methodologies. We particularly focus on practical implementations and industrial applications, providing insights into both current achievements and future directions in this rapidly evolving field. For a comprehensive collection of related research papers and the Appendix file, please refer to our repository at GitHub.
像GPT家族、LLaMA、ChatGLM和Qwen这样的大型语言模型(llm)的迅速发展代表了人工智能研究的重大进展。尽管这些模型在生成内容方面具有卓越的能力,但在生成结构化输出和参与动态交互时,特别是在需要实时检索外部信息时,它们遇到了实质性的挑战。为了解决这些限制,研究人员开发了“函数调用”范式。这种方法使语言模型能够分析用户查询并使用定义的函数,从而通过与外部源(包括数据库、编程接口和实时数据流)的连接促进精确的响应。此功能已在许多部门(如财务分析、医疗保健系统和服务操作)中成功实现。函数调用的实现包括三个基本阶段:准备、执行和处理。准备阶段包括查询分析和功能识别。在执行过程中,系统会评估某个功能是否需要,提取相关参数,并监督其运行。处理阶段侧重于分析结果并制定适当的响应。每个阶段都有独特的困难,从准确选择功能到管理复杂的参数提取和确保可靠的执行。研究人员已经建立了各种评估框架和指标来评估函数调用性能,包括成功率、计算效率、参数提取准确性和响应质量指标(如ROUGE-L评估分数)。本调查系统地回顾了法学硕士函数调用的现状,分析了技术挑战,检查了现有的解决方案,并讨论了评估方法。我们特别关注实际实施和工业应用,为这个快速发展的领域提供当前成就和未来方向的见解。有关相关研究论文的综合收集和附录文件,请参考我们在GitHub上的存储库。
{"title":"Function Calling in Large Language Models: Industrial Practices, Challenges, and Future Directions","authors":"Maolin Wang, Yingyi Zhang, Bowen Yu, Bingguang Hao, Cunyin Peng, Yicheng Chen, Wei Zhou, Jinjie Gu, Chenyi Zhuang, Ruocheng Guo, Wanyu Wang, Xiangyu Zhao","doi":"10.1145/3788284","DOIUrl":"https://doi.org/10.1145/3788284","url":null,"abstract":"The swift evolution of Large Language Models (LLMs) like the GPT family, LLaMA, ChatGLM, and Qwen represents significant progress in artificial intelligence research. Despite their remarkable capabilities in generating content, these models encounter substantial challenges when producing structured outputs and engaging in dynamic interactions, particularly when they need to retrieve external information in real time. To address these limitations, researchers have developed the ”Function Calling” paradigm. This approach enables language models to analyze user inquiries and engage with defined functions, thereby facilitating precise responses through connections to external sources, including databases, programming interfaces, and live data streams. This functionality has been successfully implemented across numerous sectors such as finance analytics, healthcare systems, and service operations. The implementation of function calling comprises three essential phases: preparation, execution, and processing. The preparation phase encompasses query analysis and function identification. During execution, the system evaluates whether a function is necessary, extracts relevant parameters, and oversees the operation. The processing phase concentrates on analyzing outcomes and crafting appropriate responses. Each phase presents unique difficulties, ranging from accurately selecting functions to managing complex parameter extraction and ensuring reliable execution. Researchers have established various evaluation frameworks and metrics to assess function calling performance, including success rates, computational efficiency, parameter extraction accuracy, and response quality indicators such as ROUGE-L evaluation scores. This survey systematically reviews the current landscape of function calling in LLMs, analyzing technical challenges, examining existing solutions, and discussing evaluation methodologies. We particularly focus on practical implementations and industrial applications, providing insights into both current achievements and future directions in this rapidly evolving field. For a comprehensive collection of related research papers and the Appendix file, please refer to our repository at GitHub.","PeriodicalId":50926,"journal":{"name":"ACM Computing Surveys","volume":"57 1","pages":""},"PeriodicalIF":16.6,"publicationDate":"2026-01-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145968629","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Identity and Access Management Metrics: A Systematic Review 身份和访问管理度量:系统回顾
IF 16.6 1区 计算机科学 Q1 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 2026-01-14 DOI: 10.1145/3788858
Thomas Baumer, Sascha Kern, Ludwig Fuchs, Günther Pernul
Identity and Access Management (IAM) challenges organizations, requiring carefully orchestrated processes, technologies, and authorizations. Despite its strategic relevance, we lack a consolidated scientific understanding of IAM metrics and their alignment with IAM goals, like security, compliance, and operational efficiency. This systematic review aims to identify and classify IAM metrics from the literature to support evidence-based IAM. It links collected metrics to IAM goals and audiences. The literature review followed the guidelines of Levy and Ellis. It includes publications from databases SpringerLink, AIS eLibrary, IEEE Explore, ScienceDirect, ACM Digital Library, and relevant cross-referenced publications. The search strategy used keyword combinations, like ”Identity and Access Management” and ”Metrics,” since 2000. We screened and included publications based on eligibility criteria for relevance, quality, and the explicit presentation of IAM metrics, resulting in sixty publications. The review identified 43 IAM metrics, categorized by seven perspectives derived from IAM goals and processes. Each metric was analyzed by its target, impact on IAM goals, and relevant audiences. The synthesis shows that the literature lacks unified terminology and frameworks for IAM metrics. Future research includes standardizing terminology, linking metrics and targets to maturity levels, and establishing IAM process metrics. The DEVISE project funded this work. It was not registered in PROSPERO.
身份和访问管理(Identity and Access Management, IAM)对组织提出了挑战,需要精心编排流程、技术和授权。尽管它具有战略相关性,但我们对IAM指标及其与IAM目标(如安全性、合规性和运营效率)的一致性缺乏统一的科学理解。本系统综述旨在从文献中识别和分类IAM指标,以支持基于证据的IAM。它将收集到的指标与IAM目标和受众联系起来。文献综述遵循Levy和Ellis的指导方针。它包括来自数据库SpringerLink、AIS Library、IEEE Explore、ScienceDirect、ACM Digital Library和相关交叉引用出版物的出版物。自2000年以来,搜索策略使用关键字组合,如“身份和访问管理”和“度量”。我们根据相关性、质量和IAM指标的明确呈现的资格标准筛选并纳入了出版物,共纳入了60篇出版物。该综述确定了43个IAM指标,并从IAM目标和流程的7个角度进行了分类。每个指标都根据其目标、对IAM目标的影响和相关受众进行了分析。综合表明,文献缺乏统一的术语和框架的IAM指标。未来的研究包括标准化术语,将指标和目标与成熟度级别联系起来,以及建立IAM流程指标。设计项目资助了这项工作。它没有在普洛斯彼罗登记。
{"title":"Identity and Access Management Metrics: A Systematic Review","authors":"Thomas Baumer, Sascha Kern, Ludwig Fuchs, Günther Pernul","doi":"10.1145/3788858","DOIUrl":"https://doi.org/10.1145/3788858","url":null,"abstract":"Identity and Access Management (IAM) challenges organizations, requiring carefully orchestrated processes, technologies, and authorizations. Despite its strategic relevance, we lack a consolidated scientific understanding of IAM metrics and their alignment with IAM goals, like security, compliance, and operational efficiency. This systematic review aims to identify and classify IAM metrics from the literature to support evidence-based IAM. It links collected metrics to IAM goals and audiences. The literature review followed the guidelines of Levy and Ellis. It includes publications from databases SpringerLink, AIS eLibrary, IEEE Explore, ScienceDirect, ACM Digital Library, and relevant cross-referenced publications. The search strategy used keyword combinations, like ”Identity and Access Management” and ”Metrics,” since 2000. We screened and included publications based on eligibility criteria for relevance, quality, and the explicit presentation of IAM metrics, resulting in sixty publications. The review identified 43 IAM metrics, categorized by seven perspectives derived from IAM goals and processes. Each metric was analyzed by its target, impact on IAM goals, and relevant audiences. The synthesis shows that the literature lacks unified terminology and frameworks for IAM metrics. Future research includes standardizing terminology, linking metrics and targets to maturity levels, and establishing IAM process metrics. The DEVISE project funded this work. It was not registered in PROSPERO.","PeriodicalId":50926,"journal":{"name":"ACM Computing Surveys","volume":"4 1","pages":""},"PeriodicalIF":16.6,"publicationDate":"2026-01-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145968627","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
ACM Computing Surveys
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1