中文
相关论文

相关论文: Simplifying MBA Expression Using E-Graphs

200 篇论文

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…

计算机视觉与模式识别 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

信息论 · 计算机科学 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…

神经与进化计算 · 计算机科学 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…

数字图书馆 · 计算机科学 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…

机器学习 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

化学物理 · 物理学 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…

计算与语言 · 计算机科学 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…

人工智能 · 计算机科学 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…

信息论 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

统计计算 · 统计学 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…

机器学习 · 计算机科学 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…

信息论 · 计算机科学 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…

信息论 · 计算机科学 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…

计算与语言 · 计算机科学 2019-05-23 Manuel Ciosici , Tobias Sommer , Ira Assent