English
Related papers

Related papers: Technical Language Supervision for Intelligent Fau…

200 papers

The evolution of cybersecurity is undoubtedly associated and intertwined with the development and improvement of artificial intelligence (AI). As a key tool for realizing more cybersecure ecosystems, Intrusion Detection Systems (IDSs) have…

Accurately diagnosing bearing faults is crucial for maintaining the efficient operation of rotating machinery. However, traditional diagnosis methods face challenges due to the diversification of application environments, including…

Signal Processing · Electrical Eng. & Systems 2024-11-06 Laifa Tao , Haifei Liu , Guoao Ning , Wenyan Cao , Bohao Huang , Chen Lu

Temporal Logic (TL), especially Signal Temporal Logic (STL), enables precise formal specification, making it widely used in cyber-physical systems such as autonomous driving and robotics. Automatically transforming NL into STL is an…

Computation and Language · Computer Science 2025-07-25 Yue Fang , Zhi Jin , Jie An , Hongshen Chen , Xiaohong Chen , Naijun Zhan

The continuous delivery of modern software requires the execution of many automated pipeline jobs. These jobs ensure the frequent release of new software versions while detecting code problems at an early stage. For TELUS, our industrial…

Software Engineering · Computer Science 2025-08-26 Henri Aïdasso , Francis Bordeleau , Ali Tizghadam

As Artificial Intelligence (AI) technologies continue to gain traction in the modern-day world, they ultimately pose an immediate threat to current cybersecurity systems via exploitative methods. Prompt engineering is a relatively new field…

Cryptography and Security · Computer Science 2023-12-05 Haiyan Xuan , Mohith Manohar

Fault diagnosis and failure prognosis are essential techniques in improving the safety of many manufacturing systems. Therefore, on-line fault detection and isolation is one of the most important tasks in safety-critical and intelligent…

Artificial Intelligence · Computer Science 2011-07-19 Rafik Mahdaoui , Leila Hayet Mouss , Mohamed Djamel Mouss , Ouahiba Chouhal

Classifying patents by their relevance to the UN Sustainable Development Goals (SDGs) is crucial for tracking how innovation addresses global challenges. However, the absence of a large, labeled dataset limits the use of supervised…

Computation and Language · Computer Science 2025-09-12 Grazia Sveva Ascione , Nicolò Tamagnone

Large Language Models (LLMs) are increasingly used in empirical software engineering (ESE) to automate or assist annotation tasks such as labeling commits, issues, and qualitative artifacts. Yet the reliability and reproducibility of such…

Software Engineering · Computer Science 2026-01-27 Mia Mohammad Imran , Tarannum Shaila Zaman

Natural language is an intuitive way for humans to communicate tasks to a robot. While natural language (NL) is ambiguous, real world tasks and their safety requirements need to be communicated unambiguously. Signal Temporal Logic (STL) is…

Formal Languages and Automata Theory · Computer Science 2022-07-05 Sara Mohammadinejad , Jesse Thomason , Jyotirmoy V. Deshmukh

The efficacy of large language models (LLMs) is heavily dependent on the quality of the underlying data, particularly within specialized domains. A common challenge when fine-tuning LLMs for domain-specific applications is the potential…

Computation and Language · Computer Science 2024-03-15 Jianwei Sun , Chaoyang Mei , Linlin Wei , Kaiyu Zheng , Na Liu , Ming Cui , Tianyi Li

Despite large language models (LLMs) have achieved impressive achievements across numerous tasks, supervised fine-tuning (SFT) remains essential for adapting these models to specialized domains. However, SFT for domain specialization can be…

Computation and Language · Computer Science 2025-11-13 Yibai Liu , Shihang Wang , Zeming Liu , Zheming Song , Junzhe Wang , Jingjing Liu , Qingjie Liu , Yunhong Wang

Federated learning (FL) has become an effective paradigm for privacy-preserving, distributed Intrusion Detection Systems (IDS) in cyber-physical and Internet of Things (IoT) networks, where centralized data aggregation is often infeasible…

Cryptography and Security · Computer Science 2026-02-03 Saeid Jamshidi , Omar Abdul Wahab , Foutse Khomh , Kawser Wazed Nafi

Large language models (LLMs) are increasingly applied in multilingual contexts, yet their capacity for consistent, logically grounded alignment across languages remains underexplored. We present a controlled evaluation framework for…

Computation and Language · Computer Science 2025-08-21 Samir Abdaljalil , Erchin Serpedin , Khalid Qaraqe , Hasan Kurban

Recently, tampered text detection has attracted increasing attention due to its essential role in information security. Although existing methods can detect the tampered text region, the interpretation of such detection remains unclear,…

Computer Vision and Pattern Recognition · Computer Science 2025-01-16 Chenfan Qu , Jian Liu , Haoxing Chen , Baihan Yu , Jingjing Liu , Weiqiang Wang , Lianwen Jin

AI is widely thought to be poised to transform business, yet current perceptions of the scope of this transformation may be myopic. Recent progress in natural language processing involving transformer language models (TLMs) offers a…

Computation and Language · Computer Science 2021-10-26 Ross Gruetzemacher , David Paradice

Ensuring consistent product quality in modern manufacturing is crucial, particularly in safety-critical applications. Conventional quality control approaches, reliant on manually defined thresholds and features, lack adaptability to the…

Machine Learning · Computer Science 2026-04-09 Bernd Hofmann , Patrick Bruendl , Huong Giang Nguyen , Joerg Franke

Temporal Logic (TL) can be used to rigorously specify complex high-level specification for systems in many engineering applications. The translation between natural language (NL) and TL has been under-explored due to the lack of dataset and…

Computation and Language · Computer Science 2024-03-25 Yongchao Chen , Rujul Gandhi , Yang Zhang , Chuchu Fan

Cyber attacks targeting Industrial Control Systems (ICS) have become increasingly sophisticated and hard to identify. Detecting such attacks requires integrating low-level behavioral cues with high-level semantic interpretation, a…

Cryptography and Security · Computer Science 2026-04-07 Konstantinos E. Kampourakis , Vasileios Gkioulos , Sokratis Katsikas

Time series anomaly detection (TSAD) plays a crucial role in various industries by identifying atypical patterns that deviate from standard trends, thereby maintaining system integrity and enabling prompt response measures. Traditional TSAD…

Computation and Language · Computer Science 2024-05-27 Jun Liu , Chaoyun Zhang , Jiaxu Qian , Minghua Ma , Si Qin , Chetan Bansal , Qingwei Lin , Saravan Rajmohan , Dongmei Zhang

Large Language Models (LLMs) have demonstrated remarkable capabilities across diverse domains, but developing high-performing models for specialized applications often requires substantial human annotation -- a process that is…

Computation and Language · Computer Science 2025-07-30 Abhinav Arabelly , Jagrut Nemade , Robert D Nowak , Jifan Zhang
‹ Prev 1 4 5 6 7 8 10 Next ›