English
Related papers

Related papers: Interactive Configuration by Regular String Constr…

200 papers

Data augmentation (DA) is crucial to mitigate model training instability and over-fitting problems in low-resource open-domain dialogue generation. However, traditional DA methods often neglect semantic data diversity, restricting the…

Computation and Language · Computer Science 2024-04-02 Zhenhua Liu , Tong Zhu , Jianxiang Xiang , Wenliang Chen

Quadratic Unconstrained Binary Optimization models are useful for solving a diverse range of optimization problems. Constraints can be added by incorporating quadratic penalty terms into the objective, often with the introduction of slack…

Optimization and Control · Mathematics 2021-05-18 Amit Verma , Mark Lewis

The viability of an Augmentative and Alternative Communication device often depends on its ability to adapt to an individual user's unique abilities. Though human input can be noisy, there is often structure to our errors. For example,…

Human-Computer Interaction · Computer Science 2019-10-04 Matt Higger , Fernando Quivira , Deniz Erdogmus

Modularity and decontextualisation are core principles of a service-oriented architecture. However, the principles are often lost when it comes to an implementation of services, as a result of a rigidly defined service interface. The…

Logic in Computer Science · Computer Science 2016-03-03 Pavel Zaichenkov , Olga Tveretina , Alex Shafarenko

To solve complex real-world problems, heuristics and concept-based approaches can be used in order to incorporate information into the problem. In this study, a concept-based approach called variable functioning Fx is introduced to reduce…

Computational Engineering, Finance, and Science · Computer Science 2022-05-17 Amir H Gandomi , Kalyanmoy Deb , Ronald C Averill , Shahryar Rahnamayan , Mohammad Nabi Omidvar

Decision diagrams (DDs) have emerged as a state-of-the-art method for exact multiobjective integer linear programming. When the DD is too large to fit into memory or the decision-maker prefers a fast approximation to the Pareto frontier,…

Artificial Intelligence · Computer Science 2026-03-20 Rahul Patel , Elias B. Khalil , David Bergman

Data augmentation involves generating synthetic samples that resemble those in a given dataset. In resource-limited fields where high-quality data is scarce, augmentation plays a crucial role in increasing the volume of training data. This…

Computation and Language · Computer Science 2024-12-30 Md. Tariquzzaman , Audwit Nafi Anam , Naimul Haque , Mohsinul Kabir , Hasan Mahmud , Md Kamrul Hasan

For years, there has been interest in approximation methods for solving dynamic programming problems, because of the inherent complexity in computing optimal solutions characterized by Bellman's principle of optimality. A wide range of…

Optimization and Control · Mathematics 2020-06-18 Yajing Liu , Edwin Chong , Ali Pezeshki , Zhenliang Zhang

The deployment of automated functions that can operate without direct human supervision has changed safety evaluation in domains seeking higher levels of automation. Unlike conventional systems that rely on human operators, these functions…

Software Engineering · Computer Science 2025-09-03 Martin Skoglund , Fredrik Warg , Anders Thorsén , Sasikumar Punnekkat , Hans Hansson

We consider the problem of learning structures and parameters of Continuous-time Bayesian Networks (CTBNs) from time-course data under minimal experimental resources. In practice, the cost of generating experimental data poses a bottleneck,…

Machine Learning · Statistics 2022-01-12 Dominik Linzner , Heinz Koeppl

Source-free domain adaptation (SFDA) aims to address the challenge of adapting to a target domain without accessing the source domain directly. However, due to the inaccessibility of source domain data, deterministic invariable features…

Computer Vision and Pattern Recognition · Computer Science 2025-10-03 Renrong Shao , Wei Zhang , Kangyang Luo , Qin Li , and Jun Wang

Additive Cost Register Automata (ACRA) map strings to integers using a finite set of registers that are updated using assignments of the form "x := y + c" at every step. The corresponding class of additive regular functions has multiple…

Formal Languages and Automata Theory · Computer Science 2013-04-29 Rajeev Alur , Mukund Raghothaman

Sentential decision diagrams (SDDs) introduced by Darwiche in 2011 are a promising representation type used in knowledge compilation. The relative succinctness of representation types is an important subject in this area. The aim of the…

Computational Complexity · Computer Science 2018-02-14 Beate Bollig , Matthias Buttkus

This work presents a hybrid approach to solve the maximum stable set problem, using constraint and semidefinite programming. The approach consists of two steps: subproblem generation and subproblem solution. First we rank the variable…

Combinatorics · Mathematics 2007-05-23 W. J. van Hoeve

The paper introduces a new technique for compressing Binary Decision Diagrams in those cases where random access is not required. Using this technique, compression and decompression can be done in linear time in the size of the BDD and…

Artificial Intelligence · Computer Science 2008-12-18 Esben Rune Hansen , S. Srinivasa Rao , Peter Tiedemann

Mechanical metamaterials with bistable elements can store vast amounts of information, but writing these memories requires impractical local control or lengthy multi-cycle protocols. We overcome this limitation with a dynamic control…

Soft Condensed Matter · Physics 2025-09-16 E. Gutierrez-Prieto , C. M. Meulblok , M. van Hecke , P. M. Reis

We consider the problem of fitting a probability density function when it is constrained to have a given number of modal intervals. We propose a dynamic programming approach to solving this problem numerically. When this number is not…

Optimization and Control · Mathematics 2022-07-25 Ery Arias-Castro , He Jiang

The field of succinct data structures has flourished over the last 16 years. Starting from the compressed suffix array (CSA) by Grossi and Vitter (STOC 2000) and the FM-index by Ferragina and Manzini (FOCS 2000), a number of generalizations…

Data Structures and Algorithms · Computer Science 2016-09-22 Djamal Belazzougui , Fabio Cunial , Juha Kärkkäinen , Veli Mäkinen

This paper introduces a new approach to generating strongly constrained texts. We consider standardized sentence generation for the typical application of vision screening. To solve this problem, we formalize it as a discrete combinatorial…

Artificial Intelligence · Computer Science 2023-09-25 Alexandre Bonlarron , Aurélie Calabrèse , Pierre Kornprobst , Jean-Charles Régin

Enforcing state and input constraints during reinforcement learning (RL) in continuous state spaces is an open but crucial problem which remains a roadblock to using RL in safety-critical applications. This paper leverages invariant sets to…

Systems and Control · Electrical Eng. & Systems 2019-06-28 Ankush Chakrabarty , Rien Quirynen , Claus Danielson , Weinan Gao