English
Related papers

Related papers: Simplifying MBA Expression Using E-Graphs

200 papers

Biometric data, such as face images, are often associated with sensitive information (e.g medical, financial, personal government records). Hence, a data breach in a system storing such information can have devastating consequences. Deep…

Computer Vision and Pattern Recognition · Computer Science 2022-02-22 Reena Zelenkova , Jack Swallow , M. A. P. Chamikara , Dongxi Liu , Mohan Baruwal Chhetri , Seyit Camtepe , Marthie Grobler , Mahathir Almashor

Code obfuscation is the conversion of original source code into a functionally equivalent but less readable form, aiming to prevent reverse engineering and intellectual property theft. This is a challenging task since it is crucial to…

Software Engineering · Computer Science 2025-04-22 Lorenzo De Tomasi , Claudio Di Sipio , Antinisca Di Marco , Phuong T. Nguyen

Estimating the effort of software systems is an essential topic in software engineering, carrying out an estimation process reliably and accurately for a software forms a vital part of the software development phases. Many researchers have…

Software Engineering · Computer Science 2018-05-03 Najla Akram , AL-Saati , Taghreed Riyadh Alreffaee

The proliferation of highly realistic facial forgeries necessitates robust detection methods. However, existing approaches often suffer from limited accuracy and poor generalization due to significant distribution shifts among samples…

Computer Vision and Pattern Recognition · Computer Science 2026-02-19 Jingwei Li , Jiaxin Tong , Pengfei Wu

The recently introduced recursive projection aggregation (RPA) decoding method for Reed-Muller (RM) codes can achieve near-maximum likelihood (ML) decoding performance. However, its high computational complexity makes its implementation…

Information Theory · Computer Science 2022-09-05 Marzieh Hashemipour-Nazari , Kees Goossens , Alexios Balatsoukas-Stimming

This paper introduces an Enhanced Boolean version of the Correlation Matrix Memory (CMM), which is useful to work with binary memories. A novel Boolean Orthonormalization Process (BOP) is presented to convert a non-orthonormal Boolean…

Neural and Evolutionary Computing · Computer Science 2016-07-15 Mario Mastriani

In this paper, we present a new approach to the semantic enrichment of mathematical expression problem. Our approach is a combination of statistical machine translation and disambiguation which makes use of surrounding text of the…

Digital Libraries · Computer Science 2013-06-03 Minh-Quoc Nghiem , Giovanni Yoko Kristianto , Goran Topic , Akiko Aizawa

In this paper we explore how machine learning techniques can be applied to the discovery of efficient mathematical identities. We introduce an attribute grammar framework for representing symbolic expressions. Given a set of grammar rules…

Machine Learning · Computer Science 2014-11-07 Wojciech Zaremba , Karol Kurach , Rob Fergus

A visibility algorithm maps time series into complex networks following a simple criterion. The resulting visibility graph has recently proven to be a powerful tool for time series analysis. However its straightforward computation is…

Data Structures and Algorithms · Computer Science 2020-04-29 Delia Fano Yela , Florian Thalmann , Vincenzo Nicosia , Dan Stowell , Mark Sandler

The analysis of graphs has become increasingly important to a wide range of applications. Graph analysis presents a number of unique challenges in the areas of (1) software complexity, (2) data complexity, (3) security, (4) mathematical…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-09-19 Jeremy Kepner , David Bader , Aydın Buluc , John Gilbert , Timothy Mattson , Henning Meyerhenke

The problem of accelerating drug discovery relies heavily on automatic tools to optimize precursor molecules to afford them with better biochemical properties. Our work in this paper substantially extends prior state-of-the-art on…

Chemical Physics · Physics 2019-10-22 Wengong Jin , Regina Barzilay , Tommi Jaakkola

Text simplification has emerged as an increasingly useful application of AI for bridging the communication gap in specialized fields such as medicine, where the lexicon is often dominated by technical jargon and complex constructs. Despite…

Computation and Language · Computer Science 2023-10-27 Lorenzo Jaime Yu Flores , Heyuan Huang , Kejian Shi , Sophie Chheang , Arman Cohan

Minimum Bayes-Risk (MBR) decoding is shown to be a powerful alternative to beam search decoding for a wide range of text generation tasks. However, MBR requires a huge amount of time for inference to compute the MBR objective, which makes…

Artificial Intelligence · Computer Science 2024-06-13 Yuu Jinnai , Kaito Ariu

We introduce a new method for decoding short and moderate length linear block codes with dense parity-check matrix representations of cyclic form, termed multiple-bases belief-propagation (MBBP). The proposed iterative scheme makes use of…

Information Theory · Computer Science 2016-11-15 Thorsten Hehn , Johannes B. Huber , Olgica Milenkovic , Stefan Laendner

Prior works have demonstrated that implicit representations trained only for reconstruction tasks typically generate encodings that are not useful for semantic tasks. In this work, we propose a method that contextualises the encodings of…

Computer Vision and Pattern Recognition · Computer Science 2023-05-23 Theo W. Costain , Kejie Li , Victor A. Prisacariu

For many decades now, Bayesian Model Averaging (BMA) has been a popular framework to systematically account for model uncertainty that arises in situations when multiple competing models are available to describe the same or similar…

Computation · Statistics 2022-03-29 Vojtech Kejzlar , Shrijita Bhattacharya , Mookyong Son , Tapabrata Maiti

In spam and malware detection, attackers exploit randomization to obfuscate malicious data and increase their chances of evading detection at test time; e.g., malware code is typically obfuscated using random strings or byte sequences to…

Machine Learning · Computer Science 2016-09-07 Samuel Rota Bulò , Battista Biggio , Ignazio Pillai , Marcello Pelillo , Fabio Roli

In this paper, we consider the decoding of fountain codes where the received symbols may have errors. It is motivated by the application of fountain codes in DNA-based data storage systems where the inner code decoding, which generally has…

Information Theory · Computer Science 2023-01-31 Xuan He , Kui Cai

We decode Reed-Solomon codes using soft information provided at the receiver. The Extended Euclidean Algorithm (EEA) is considered as an initial step to obtain an intermediate result. The final decoding result is obtained by interpolating…

Information Theory · Computer Science 2014-06-04 Mostafa Hosni Mohamed , Johan S. R. Nielsen , Martin Bossert

Abbreviations often have several distinct meanings, often making their use in text ambiguous. Expanding them to their intended meaning in context is important for Machine Reading tasks such as document search, recommendation and question…

Computation and Language · Computer Science 2019-05-23 Manuel Ciosici , Tobias Sommer , Ira Assent