中文
相关论文

相关论文: Interactive Configuration by Regular String Constr…

200 篇论文

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…

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

计算机科学中的逻辑 · 计算机科学 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…

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

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

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

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

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

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

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

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

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

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

形式语言与自动机理论 · 计算机科学 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…

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

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

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

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

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

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

计算机视觉与模式识别 · 计算机科学 2020-03-31 Ziwei Liu , Zhongqi Miao , Xingang Pan , Xiaohang Zhan , Dahua Lin , Stella X. Yu , Boqing Gong