English
Related papers

Related papers: Negative Selection Approach to support Formal Veri…

200 papers

Deep learning algorithms have recently shown to be a successful tool in estimating parameters of statistical models for which simulation is easy, but likelihood computation is challenging. But the success of these approaches depends on…

Machine Learning · Statistics 2024-02-20 Amanda Lenzi , Haavard Rue

Evolutionary Algorithms (EAs) have been shown to be powerful tools for complex optimization problems, which are ubiquitous in both communication and big data analytics. This paper presents a new EA, namely Negatively Correlated Search…

Neural and Evolutionary Computing · Computer Science 2016-03-09 Ke Tang , Peng Yang , Xin Yao

Tool learning serves as a powerful auxiliary mechanism that extends the capabilities of large language models (LLMs), enabling them to tackle complex tasks requiring real-time relevance or high precision operations. Behind its powerful…

Cryptography and Security · Computer Science 2025-04-08 Liuji Chen , Hao Gao , Jinghao Zhang , Qiang Liu , Shu Wu , Liang Wang

Survival analysis (SA) models have been widely studied in mining electronic health records (EHRs), particularly in forecasting the risk of critical conditions for prioritizing high-risk patients. However, their vulnerability to adversarial…

Machine Learning · Computer Science 2024-12-30 Mohsen Nayebi Kerdabadi , Arya Hadizadeh Moghaddam , Bin Liu , Mei Liu , Zijun Yao

Search-based testing is widely used to find bugs in models of complex Cyber-Physical Systems. Latest research efforts have improved this approach by casting it as a falsification procedure of formally specified temporal properties,…

Logic in Computer Science · Computer Science 2017-10-03 Simone Silvetti , Alberto Policriti , Luca Bortolussi

Deep neural networks have set the state-of-the-art in computer vision tasks such as bounding box detection and semantic segmentation. Object detectors and segmentation models assign confidence scores to predictions, reflecting the model's…

Computer Vision and Pattern Recognition · Computer Science 2026-03-16 Tobias J. Riedlinger , Kira Maag , Hanno Gottschalk

We present a method that "meta" classifies whether seg-ments predicted by a semantic segmentation neural networkintersect with the ground truth. For this purpose, we employ measures of dispersion for predicted pixel-wise class probability…

Computer Vision and Pattern Recognition · Computer Science 2019-10-03 Matthias Rottmann , Pascal Colling , Thomas-Paul Hack , Robin Chan , Fabian Hüger , Peter Schlicht , Hanno Gottschalk

Multiresponse data with complex group structures in both responses and predictors arises in many fields, yet, due to the difficulty in identifying complex group structures, only a few methods have been studied on this problem. We propose a…

Methodology · Statistics 2022-08-16 Weixiong Liang , Yuehan Yang

Neural Architecture Search remains a very challenging meta-learning problem. Several recent techniques based on parameter-sharing idea have focused on reducing the NAS running time by leveraging proxy models, leading to architectures with…

Machine Learning · Computer Science 2022-02-08 Minsu Cho , Mohammadreza Soltani , Chinmay Hegde

We study the problem of attacking video recognition models in the black-box setting, where the model information is unknown and the adversary can only make queries to detect the predicted top-1 class and its probability. Compared with the…

Computer Vision and Pattern Recognition · Computer Science 2019-11-22 Zhipeng Wei , Jingjing Chen , Xingxing Wei , Linxi Jiang , Tat-Seng Chua , Fengfeng Zhou , Yu-Gang Jiang

Automated algorithm selection for continuous black-box optimization depends on representing problem information under limited probing and selecting solvers under heavy-tailed performance distributions. This paper proposes a geometric…

Machine Learning · Computer Science 2026-05-22 Jiabao Brad Wang , Xiang Shi , Yiliang Yuan , Mustafa Misir

Deep learning models are vulnerable to adversarial examples, which can fool a target classifier by imposing imperceptible perturbations onto natural examples. In this work, we consider the practical and challenging decision-based black-box…

Machine Learning · Computer Science 2021-05-11 Qi-An Fu , Yinpeng Dong , Hang Su , Jun Zhu

Supervised classification recognizes patterns in the data to separate classes of behaviours. Canonical solutions contain misclassification errors that are intrinsic to the numerical approximating nature of machine learning. The data analyst…

Machine Learning · Statistics 2023-09-12 Alberto Carlevaro , Teodoro Alamo , Fabrizio Dabbene , Maurizio Mongelli

Cross-subspace alignment (CSA) codes are used in various private information retrieval (PIR) schemes (e.g., with secure storage) and in secure distributed batch matrix multiplication (SDBMM). Using a recently developed $N$-sum box…

Information Theory · Computer Science 2025-09-26 Yuxiang Lu , Syed Ali Jafar

Deep neural networks learn fragile "shortcut" features, rendering them difficult to interpret (black box) and vulnerable to adversarial attacks. This paper proposes semantic features as a general architectural solution to this problem. The…

Machine Learning · Computer Science 2024-04-18 Maciej Satkiewicz

Safely exploring an unknown dynamical system is critical to the deployment of reinforcement learning (RL) in physical systems where failures may have catastrophic consequences. In scenarios where one knows little about the dynamics, diverse…

Machine Learning · Computer Science 2017-12-01 Tyler Lu , Martin Zinkevich , Craig Boutilier , Binz Roy , Dale Schuurmans

Approximate Nearest Neighbor Search (ANNS) in high dimensional spaces is crucial for many real-life applications (e.g., e-commerce, web, multimedia, etc.) dealing with an abundance of data. This paper proposes an end-to-end learning…

Machine Learning · Computer Science 2022-10-20 Abrar Fahim , Mohammed Eunus Ali , Muhammad Aamir Cheema

Deep Neural Networks (DNNs) have been extensively used in many areas including image processing, medical diagnostics, and autonomous driving. However, DNNs can exhibit erroneous behaviours that may lead to critical errors, especially when…

Software Engineering · Computer Science 2023-04-21 Zohreh Aghababaeyan , Manel Abdellatif , Lionel Briand , Ramesh S , Mojtaba Bagherzadeh

A non-parametric low-resolution face recognition model for resource-constrained environments with limited networking and computing is proposed in this work. Such environments often demand a small model capable of being effectively trained…

Computer Vision and Pattern Recognition · Computer Science 2020-11-25 Mozhdeh Rouhsedaghat , Yifan Wang , Shuowen Hu , Suya You , C. -C. Jay Kuo

In industrial imaging, accurately detecting and distinguishing surface defects from noise is critical and challenging, particularly in complex environments with noisy data. This paper presents a hybrid framework that integrates both…

Image and Video Processing · Electrical Eng. & Systems 2024-12-13 Alejandro Garnung Menéndez