Search
Search Results
-
A decision procedure for string constraints with string/integer conversion and flat regular constraints
String constraint solving is the core of various testing and verification approaches for scripting languages. Among algorithms for solving string...
-
CVAE-LAYOUT: automatic furniture layout with constraints
We propose an automatic layout method for indoor scenes that effectively satisfies specific constraints. Our approach involves enhancing the existing...
-
Tables and Constraints
The next logical step is to create objects in the database. Usually, the objects created for an application are tables, constraints, and indexes. A... -
Reconfiguration of Spanning Trees with Degree Constraints or Diameter Constraints
We investigate the complexity of finding a transformation from a given spanning tree in a graph to another given spanning tree in the same graph via...
-
Weighted Tree Automata with Constraints
The HOM problem, which asks whether the image of a regular tree language under a given tree homomorphism is again regular, is known to be decidable...
-
Matrix-valued distributed stochastic optimization with constraints
In this paper, we address matrix-valued distributed stochastic optimization with inequality and equality constraints, where the objective function is...
-
PrimitiveNet: decomposing the global constraints for referring segmentation
In referring segmentation, modeling the complicated constraints in the multimodal information is one of the most challenging problems. As the...
-
Tackle balancing constraints in semi-supervised ordinal regression
Semi-supervised ordinal regression (S 2 OR) has been recognized as a valuable technique to improve the performance of the ordinal regression (OR) model...
-
Reducibility Constraints in Superposition
Modern superposition inference systems aim at reducing the search space by introducing redundancy criteria on clauses and inferences. This paper... -
Assortment Optimization with Visibility Constraints
Motivated by applications in e-retail and online advertising, we study the problem of assortment optimization under visibility constraints, referred... -
Mining inter-sequence patterns with Itemset constraints
Nowadays, raw data is rarely used directly. In real world applications, data is often processed, and the necessary knowledge extracted, depending on...
-
Virtual Affine Nonholonomic Constraints
Virtual constraints are relations imposed on a control system via feedback control that become invariant via feedback, as opposed to physical... -
Multiresource fair allocation with time window constraints
We study the problem of multiresource fair allocation with time window constraints for user tasks in cloud computing systems where users can enter...
-
Reinforcement learning-based motion planning in partially observable environments under ethical constraints
Designing autonomous agents that follow moral norms presents a significant challenge in addressing AI decision-making under ethical constraints,...
-
Minimal Armstrong Databases for Cardinality Constraints
Hartmann et al. proved that calculating Armstrong instance for a collection of cardinality constraints is exactly exponential problem. In fact, they... -
Meet-in-the-middle attacks on AES with value constraints
In meet-in-the-middle (MITM) attacks, the sizes of the precomputation tables determine the effectiveness. In this paper, value constraints are...
-
Constraints
This chapter discusses alternative formulations of correlation clustering where constraints are added to the basic formulation. Although adding... -
Fast and Accurate 3D Registration from Line Intersection Constraints
3D Registration is a fundamental part of several robotics and automation tasks. While classical methods predominantly exploit constraints from points...
-
DePAint: a decentralized safe multi-agent reinforcement learning algorithm considering peak and average constraints
The domain of safe multi-agent reinforcement learning (MARL), despite its potential applications in areas ranging from drone delivery and vehicle...
-
Multi-scale constraints and perturbation consistency for semi-supervised sonar image segmentation
Emerging semi-supervised learning methods have enabled great progress in segmentation tasks. However, popular semi-supervised segmentation models use...