English
Related papers

Related papers: Interactive Configuration by Regular String Constr…

200 papers

Domain Adaptation (DA) techniques are important for overcoming the domain shift between the source domain used for training and the target domain where testing takes place. However, current DA methods assume that the entire target domain is…

Computer Vision and Pattern Recognition · Computer Science 2021-04-09 Abu Md Niamul Taufique , Chowdhury Sadman Jahan , Andreas Savakis

Many optimization problems can be naturally represented as (hyper) graphs, where vertices correspond to variables and edges to tasks, whose cost depends on the values of the adjacent variables. Capitalizing on the structure of the graph,…

Logic in Computer Science · Computer Science 2015-04-13 Nicklas Hoch , Ugo Montanari , Matteo Sammartino

The presence of Long Distance Dependencies (LDDs) in sequential data poses significant challenges for computational models. Various recurrent neural architectures have been designed to mitigate this issue. In order to test these…

Machine Learning · Computer Science 2018-10-09 Abhijit Mahalunkar , John D. Kelleher

Retrieval data structures are data structures that answer key-value queries without paying the space overhead of explicitly storing keys. The problem can be formulated in four settings (static, value-dynamic, incremental, or dynamic), each…

Data Structures and Algorithms · Computer Science 2024-10-25 William Kuszmaul , Aaron Putterman , Tingqiang Xu , Hangrui Zhou , Renfei Zhou

Unsupervised Domain Adaptation (UDA) addresses the problem of performance degradation due to domain shift between training and testing sets, which is common in computer vision applications. Most existing UDA approaches are based on…

Computer Vision and Pattern Recognition · Computer Science 2019-05-14 Songsong Wu , Yan Yan , Hao Tang , Jianjun Qian , Jian Zhang , Xiao-Yuan Jing

The Bindlib library for OCaml provides a set of tools for the manipulation of data structures with variable binding. It is very well suited for the representation of abstract syntax trees, and has already been used for the implementation of…

Programming Languages · Computer Science 2018-07-06 Rodolphe Lepigre , Christophe Raffalli

To develop, analyze, and evolve today's highly configurable software systems, developers need deep knowledge of a system's configuration options, e.g., how options need to be set to reach certain locations, what configurations to use for…

Software Engineering · Computer Science 2019-04-01 ThanhVu Nguyen , Ugur Koc , Javran Cheng , Jeffrey S. Foster , Adam A. Porter

Constrained coding plays a key role in optimizing performance and mitigating errors in applications such as storage and communication, where specific constraints on codewords are required. While non-parametric constraints have been…

Information Theory · Computer Science 2025-05-05 Daniella Bar-Lev , Michael Shlizerman

We study the problem of dynamic assortment personalization with large, heterogeneous populations and wide arrays of products, and demonstrate the importance of structural priors for effective, efficient large-scale personalization.…

Machine Learning · Statistics 2019-05-03 Nathan Kallus , Madeleine Udell

In the dynamic range mode problem, we are given a sequence $a$ of length bounded by $N$ and asked to support element insertion, deletion, and queries for the most frequent element of a contiguous subsequence of $a$. In this work, we devise…

Data Structures and Algorithms · Computer Science 2020-04-21 Bryce Sandlund , Yinzhan Xu

In this paper we present a rule based formalism for filtering variables domains of constraints. This formalism is well adapted for solving dynamic CSP. We take diagnosis as an instance problem to illustrate the use of these rules. A…

Artificial Intelligence · Computer Science 2007-05-23 S. Piechowiak , J. Rodriguez

The model of Dynamic Meta-Constraints has special activity constraints which can activate other constraints. It also has meta-constraints which range over other constraints. An algorithm is presented in which constraints can be assigned one…

Programming Languages · Computer Science 2007-05-23 Janet van der Linden

String diagrams provide a convenient graphical framework which may be used for equational reasoning about morphisms of monoidal categories. However, unlike term rewriting, rewriting string diagrams results in shorter equational proofs,…

Formal Languages and Automata Theory · Computer Science 2017-05-23 Vladimir Nikolaev Zamdzhiev

Diagrammatic reasoning (DR) is pervasive in human problem solving as a powerful adjunct to symbolic reasoning based on language-like representations. The research reported in this paper is a contribution to building a general purpose DR…

Artificial Intelligence · Computer Science 2014-01-17 Bonny Banerjee , B. Chandrasekaran

Simulation-based problems involving mixed-variable inputs frequently feature domains that are hierarchical, conditional, heterogeneous, or tree-structured. These characteristics pose challenges for data representation, modeling, and…

Machine Learning · Computer Science 2026-01-21 Paul Saves , Edward Hallé-Hannan , Jasper Bussemaker , Youssef Diouane , Nathalie Bartoli

Cross-domain recommendation (CDR) is crucial for improving recommendation accuracy and generalization, yet traditional methods are often hindered by the reliance on shared user/item IDs, which are unavailable in most real-world scenarios.…

Information Retrieval · Computer Science 2025-11-18 Peiyu Hu , Wayne Lu , Jia Wang

This paper is concerned with practical implementations of approximate string dictionaries that allow edit errors. In this problem, we have as input a dictionary $D$ of $d$ strings of total length $n$ over an alphabet of size $\sigma$. Given…

Data Structures and Algorithms · Computer Science 2014-08-26 Ibrahim Chegrane , Djamal Belazzougui

In the field of domain adaptation, a trade-off exists between the model performance and the number of target domain annotations. Active learning, maximizing model performance with few informative labeled data, comes in handy for such a…

Computer Vision and Pattern Recognition · Computer Science 2022-07-19 Tsung-Han Wu , Yi-Syuan Liou , Shao-Ji Yuan , Hsin-Ying Lee , Tung-I Chen , Kuan-Chih Huang , Winston H. Hsu

In this paper, we consider the problem of constructing optimal average-length binary codes under the constraint that each codeword must contain at most $D$ ones, where $D$ is a given input parameter. We provide an $O(n^2D)$-time complexity…

Information Theory · Computer Science 2025-12-03 Roberto Bruno , Roberto De Prisco , Ugo Vaccaro

A typical domain adaptation approach is to adapt models trained on the annotated data in a source domain (e.g., sunny weather) for achieving high performance on the test data in a target domain (e.g., rainy weather). Whether the target…

Computer Vision and Pattern Recognition · Computer Science 2020-03-31 Ziwei Liu , Zhongqi Miao , Xingang Pan , Xiaohang Zhan , Dahua Lin , Stella X. Yu , Boqing Gong