English
Related papers

Related papers: On Local Domain Symmetry for Model Expansion

200 papers

In this paper, we consider dynamic matroids, where elements can be inserted to or deleted from the ground set over time. The independent sets change to reflect the current ground set. As matroids are central to the study of many…

Data Structures and Algorithms · Computer Science 2026-02-10 Tijn de Vos , Mara Grilnberger

Dimension reduction is often the first step in statistical modeling or prediction of multivariate spatial data. However, most existing dimension reduction techniques do not account for the spatial correlation between observations and do not…

Methodology · Statistics 2025-05-27 Si Cheng , Magali N. Blanco , Timothy V. Larson , Lianne Sheppard , Adam Szpiro , Ali Shojaie

We study the problem of determining whether a given temporal specification can be implemented by a symmetric system, i.e., a system composed from identical components. Symmetry is an important goal in the design of distributed systems,…

Logic in Computer Science · Computer Science 2017-10-17 Ruediger Ehlers , Bernd Finkbeiner

Seam cutting has shown significant effectiveness in the composition phase of image stitching, particularly for scenarios involving parallax. However, conventional implementations typically position seam-cutting as a downstream process…

Computer Vision and Pattern Recognition · Computer Science 2025-07-10 Tianli Liao , Chenyang Zhao , Lei Li , Heling Cao

Partial domain adaptation which assumes that the unknown target label space is a subset of the source label space has attracted much attention in computer vision. Despite recent progress, existing methods often suffer from three key…

Computer Vision and Pattern Recognition · Computer Science 2023-01-05 Aadarsh Sahoo , Rameswar Panda , Rogerio Feris , Kate Saenko , Abir Das

Exploitation of symmetries is an indispensable approach to solve certain classes of difficult SAT instances. Numerous techniques for the use of symmetry in SAT have evolved over the past few decades. But no matter how symmetries are used…

Logic in Computer Science · Computer Science 2022-05-26 Markus Anders

Dynamic substructuring (DS) methods encompass a range of techniques to decompose large structural systems into multiple coupled subsystems. This decomposition has the principle benefit of reducing computational time for dynamic simulation…

Computational Engineering, Finance, and Science · Computer Science 2020-07-01 Thomas Simpson , Dimitrios Giagopoulos , Vasilis Dertimanis , Eleni Chatzi

We present a new use of Answer Set Programming (ASP) to discover the molecular structure of chemical samples based on the relative abundance of elements and structural fragments, as measured in mass spectrometry. To constrain the…

Logic in Computer Science · Computer Science 2026-02-25 Nils Küchenmeister , Alex Ivliev , Markus Krötzsch

We study the synchronous dynamics of the Hopfield model when a random antisymmetric part is added to the otherwise symmetric synaptic matrix. We use a generating functional technique to derive analytical expressions for the order parameters…

Disordered Systems and Neural Networks · Physics 2007-05-23 Manoranjan P. Singh

Although convolution neural network based stereo matching architectures have made impressive achievements, there are still some limitations: 1) Convolutional Feature (CF) tends to capture appearance information, which is inadequate for…

Computer Vision and Pattern Recognition · Computer Science 2021-12-07 Biyang Liu , Huimin Yu , Yangqi Long

Probabilistic Manifold Decomposition (PMD)\cite{doi:10.1137/25M1738863}, developed in our earlier work, provides a nonlinear model reduction by embedding high-dimensional dynamics onto low-dimensional probabilistic manifolds. The PMD has…

Numerical Analysis · Mathematics 2026-01-13 Jiaming Guo , Dunhui Xiao

Domain Generalized Semantic Segmentation (DGSS) is a critical yet challenging task, as domain shifts in unseen environments can severely compromise model performance. While recent studies enhance feature alignment by projecting features…

Computer Vision and Pattern Recognition · Computer Science 2025-07-30 I-Hsiang Chen , Hua-En Chang , Wei-Ting Chen , Jenq-Neng Hwang , Sy-Yen Kuo

If supersymmetric particles are discovered, an important problem will be to determine how supersymmetry has been broken. At collider energies, supersymmetry breaking can be parameterised by soft supersymmetry breaking parameters. Several…

High Energy Physics - Phenomenology · Physics 2012-11-07 Jamil Hetzel

This paper reviews machine learning applications and approaches to detection, classification and control of intelligent materials and structures with embedded distributed computation elements. The purpose of this survey is to identify…

Machine Learning · Computer Science 2016-06-14 Dana Hughes , Nikolaus Correll

The problem of identifying regions of spatially interesting, different or adversarial behavior is inherent to many practical applications involving distributed multisensor systems. In this work, we develop a general framework stemming from…

Signal Processing · Electrical Eng. & Systems 2022-06-14 Martin Gölz , Abdelhak M. Zoubir , Visa Koivunen

We study the effect of discrete symmetry breaking in inhomogeneous scattering media within the framework of generic wave propagation. Our focus is on one-dimensional scattering potentials exhibiting local symmetries. We find a class of…

Quantum Physics · Physics 2015-07-22 P. A. Kalozoumis , C. Morfonios , F. K. Diakonos , P. Schmelcher

Symmetry detection, especially partial and extrinsic symmetry, is essential for various downstream tasks, like 3D geometry completion, segmentation, compression and structure-aware shape encoding or generation. In order to detect partial…

Computer Vision and Pattern Recognition · Computer Science 2023-12-14 Gregor Kobsik , Isaak Lim , Leif Kobbelt

The modern design of industrial structures leads to very complex simulations characterized by nonlinearities, high heterogeneities, tortuous geometries... Whatever the modelization may be, such an analysis leads to the solution to a family…

Numerical Analysis · Mathematics 2012-08-22 Pierre Gosselet , Christian Rey

Broad learning system (BLS) has been proposed for a few years. It demonstrates an effective learning capability for many classification and regression problems. However, BLS and its improved versions are mainly used to deal with…

Machine Learning · Computer Science 2021-06-29 Chao Yuan , Chang-E Ren

In the context of Answer Set Programming, this paper investigates symmetry-breaking to eliminate symmetric parts of the search space and, thereby, simplify the solution process. We propose a reduction of disjunctive logic programs to a…

Logic in Computer Science · Computer Science 2010-08-12 Christian Drescher , Oana Tifrea , Toby Walsh
‹ Prev 1 8 9 10 Next ›