English
Related papers

Related papers: SINBAD: Saliency-informed detection of breakage ca…

200 papers

News articles tend to be increasingly misleading nowadays, preventing readers from making subjective judgments towards certain events. While some machine learning approaches have been proposed to detect misleading news, most of them are…

Human-Computer Interaction · Computer Science 2020-01-10 Xumeng Chen , Leo Yu-Ho Lo , Huamin Qu

Temporal action detection (TAD) is a fundamental video understanding task that aims to identify human actions and localize their temporal boundaries in videos. Although this field has achieved remarkable progress in recent years, further…

Wave breaking is an important process for energy dissipation in the open ocean and coastal seas. It drives beach morphodynamics, controls air-sea interactions, determines when ship and offshore structure operations can occur safely, and…

Atmospheric and Oceanic Physics · Physics 2021-01-28 Caio Eadi Stringari , Pedro Veras Guimarães , Jean-François Filipot , Fabien Leckler , Rui Duarte

Static code analysis (SCA) tools are widely used as effective ways to detect bugs and vulnerabilities in software systems. However, the reports generated by these tools often contain a large number of non-actionable findings, which can…

Software Engineering · Computer Science 2026-04-21 Tamás Aladics , Norbert Vándor , Rudolf Ferenc , Péter Hegedűs

Machine learning-based program analyses have recently shown the promise of integrating formal and probabilistic reasoning towards aiding software development. However, in the absence of large annotated corpora, training these analyses is…

Machine Learning · Computer Science 2021-11-17 Miltiadis Allamanis , Henry Jackson-Flux , Marc Brockschmidt

Fraudulent activities on digital banking services are becoming more intricate by the day, challenging existing defenses. While older rule driven methods struggle to keep pace, even precision focused algorithms fall short when new scams are…

Cryptography and Security · Computer Science 2026-01-21 Karthikeyan V. R. , Premnath S. , Kavinraaj S. , J. Sangeetha

In this paper, we study the problem of early detection of fake user accounts on social networks based solely on their network connectivity with other users. Removing such accounts is a core task for maintaining the integrity of social…

Social and Information Networks · Computer Science 2020-04-13 Adam Breuer , Roee Eilat , Udi Weinsberg

The growing demand for intelligent security in consumer electronics, such as smart home cameras and personal monitoring systems, is often hindered by the high computational cost and large model sizes of advanced AI. These limitations…

Computer Vision and Pattern Recognition · Computer Science 2025-06-09 Wen-Dong Jiang , Chih-Yung Chang , Ssu-Chi Kuai , Diptendu Sinha Roy

Static analysis tools are frequently used to scan the source code and detect deviations from the project coding guidelines. Given their importance, linters are often introduced to classrooms to educate students on how to detect and…

Software Engineering · Computer Science 2023-07-20 Eman Abdullah AlOmar , Salma Abdullah AlOmar , Mohamed Wiem Mkaouer

The increasing consumption of news online in the 21st century coincided with increased publication of disinformation, biased reporting, hate speech and other unwanted Web content. We describe BiasScanner, an application that aims to…

Computation and Language · Computer Science 2024-07-16 Tim Menzner , Jochen L. Leidner

This paper presents a novel anomaly detection methodology termed Statistical Aggregated Anomaly Detection (SAAD). The SAAD approach integrates advanced statistical techniques with machine learning, and its efficacy is demonstrated through…

Machine Learning · Computer Science 2024-06-14 Dacian Goina , Eduard Hogea , George Maties

The risk of soft errors due to radiation continues to be a significant challenge for engineers trying to build systems that can handle harsh environments. Building systems that are Radiation Hardened by Design (RHBD) is the preferred…

Hardware Architecture · Computer Science 2020-01-23 Sai Aparna Aketi , Smriti Gupta , Huimei Cheng , Joycee Mekie , Peter A. Beerel

Battery safety is critical in applications ranging from consumer electronics to electric vehicles and aircraft, where undetected anomalies could trigger safety hazards or costly downtime. In this study, we present OSBAD as an open-source…

Machine Learning · Computer Science 2025-11-04 Mei-Chin Pang , Suraj Adhikari , Takuma Kasahara , Nagihiro Haba , Saneyuki Ohno

Object detection (OD) is crucial to autonomous driving. On the other hand, unknown objects, which have not been seen in training sample set, are one of the reasons that hinder autonomous vehicles from driving beyond the operational domain.…

Computer Vision and Pattern Recognition · Computer Science 2023-06-19 Ning Ding , Ce Zhang , Azim Eskandarian

Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure, reliable and high quality code. However, an often quoted…

Software Engineering · Computer Science 2007-05-23 Cathal Boogerd , Leon Moonen

Recently, fault diagnosis methods for marine machinery systems based on deep learning models have attracted considerable attention in the shipping industry. Most existing studies assume fault classes are consistent and known between the…

Artificial Intelligence · Computer Science 2025-11-04 Chuyue Lou , M. Amine Atoui

Token-inconsistency bugs (TIBs) involve the misuse of syntactically valid yet incorrect code tokens, such as misused variables and erroneous function invocations, which can often lead to software bugs. Unlike simple syntactic bugs, TIBs…

Cryptography and Security · Computer Science 2025-10-14 Hongbo Chen , Yifan Zhang , Xing Han , Tianhao Mao , Huanyao Rong , Yuheng Zhang , XiaoFeng Wang , Luyi Xing , Xun Chen , Hang Zhang

Deploying machine learning models in safety-critical domains poses a key challenge: ensuring reliable model performance on downstream user data without access to ground truth labels for direct validation. We propose the suitability filter,…

Machine Learning · Computer Science 2025-05-29 Angéline Pouget , Mohammad Yaghini , Stephan Rabanser , Nicolas Papernot

Functional verification and debugging are critical bottlenecks in modern System-on-Chip (SoC) design, with manual detection of Advanced Peripheral Bus (APB) transaction errors in large Value Change Dump (VCD) files being inefficient and…

Software Engineering · Computer Science 2025-09-05 Cheng-Yang Tsai , Tzu-Wei Huang , Jen-Wei Shih , I-Hsiang Wang , Yu-Cheng Lin , Rung-Bin Lin

Given a stream of graph edges from a dynamic graph, how can we assign anomaly scores to edges in an online manner, for the purpose of detecting unusual behavior, using constant time and memory? Existing approaches aim to detect individually…

Machine Learning · Computer Science 2020-08-25 Siddharth Bhatia , Bryan Hooi , Minji Yoon , Kijung Shin , Christos Faloutsos