English
Related papers

Related papers: Synthesizing Structured CAD Models with Equality S…

200 papers

Various data visualization applications such as reverse engineering and interactive authoring require a vocabulary that describes the structure of visualization scenes and the procedure to manipulate them. A few scene abstractions have been…

Human-Computer Interaction · Computer Science 2024-08-12 Zhicheng Liu , Chen Chen , John Hooker

Deep generative models are known to be able to model arbitrary probability distributions. Among these, a recent deep generative model, dubbed sliceGAN, proposed a new way of using the generative adversarial network (GAN) to capture the…

Computer Vision and Pattern Recognition · Computer Science 2021-05-04 Hyungjin Chung , Jong Chul Ye

When the Standard Model is interpreted as the renormalizable sector of a low-energy effective theory, the effects of new physics are encoded into a set of higher dimensional operators. These operators potentially deform the shapes of…

High Energy Physics - Phenomenology · Physics 2017-08-28 Sylvain Fichet , Patricia Rebello Teles , Alberto Tonero

Compressed sensing based magnetic resonance imaging (CS-MRI) provides an efficient way to reduce scanning time of MRI. Recently deep learning has been introduced into CS-MRI to further improve the image quality and shorten reconstruction…

Image and Video Processing · Electrical Eng. & Systems 2019-08-13 Wenzhong Zhou , Huiqian Du , Wenbo Mei , Liping Fang

Large language models (LLMs) generate high-dimensional embeddings that capture rich semantic and syntactic information. However, high-dimensional embeddings exacerbate computational complexity and storage requirements, thereby hindering…

Computation and Language · Computer Science 2025-10-15 Biao Zhang , Lixin Chen , Tong Liu , Bo Zheng

Calibrating large-scale camera arrays, such as those in dome-based setups, is time-intensive and typically requires dedicated captures of known patterns. While extrinsics in such arrays are fixed due to the physical setup, intrinsics often…

Computer Vision and Pattern Recognition · Computer Science 2025-08-04 Jinjiang You , Hewei Wang , Yijie Li , Mingxiao Huo , Long Van Tran Ha , Mingyuan Ma , Jinfeng Xu , Jiayi Zhang , Puzhen Wu , Shubham Garg , Wei Pu

Syntax-guided synthesis aims to find a program satisfying semantic specification as well as user-provided structural hypothesis. For syntax-guided synthesis there are two main search strategies: concrete search, which systematically or…

Programming Languages · Computer Science 2018-02-14 Kangjing Huang , Xiaokang Qiu , Qi Tian , Yanjun Wang

Significant advancements have been made in semantic image synthesis in remote sensing. However, existing methods still face formidable challenges in balancing semantic controllability and diversity. In this paper, we present a Hybrid…

Computer Vision and Pattern Recognition · Computer Science 2024-11-25 Junde Liu , Danpei Zhao , Bo Yuan , Wentao Li , Tian Li

We present CoGS, a novel method for the style-conditioned, sketch-driven synthesis of images. CoGS enables exploration of diverse appearance possibilities for a given sketched object, enabling decoupled control over the structure and the…

Computer Vision and Pattern Recognition · Computer Science 2022-07-21 Cusuh Ham , Gemma Canet Tarres , Tu Bui , James Hays , Zhe Lin , John Collomosse

Symmetric tensor decomposition is an important problem with applications in several areas for example signal processing, statistics, data analysis and computational neuroscience. It is equivalent to Waring's problem for homogeneous…

Symbolic Computation · Computer Science 2019-09-12 Matías Bender , Jean-Charles Faugère , Ludovic Perret , Elias Tsigaridas

Existing 3D-aware facial generation methods face a dilemma in quality versus editability: they either generate editable results in low resolution or high-quality ones with no editing flexibility. In this work, we propose a new approach that…

Computer Vision and Pattern Recognition · Computer Science 2022-06-01 Jingxiang Sun , Xuan Wang , Yichun Shi , Lizhen Wang , Jue Wang , Yebin Liu

A Cylindrical Algebraic Decomposition (CAD) is a decomposition of R^n into a finite collection of semialgebraic cells. A CAD satisfies the "frontier condition" if, for every cell C, there is a collection of cells of the decomposition whose…

Algebraic Geometry · Mathematics 2023-07-18 Hollie Baker

Multidimensional Continued Fraction Algorithms are generalizations of the Euclid algorithm and find iteratively the gcd of two or more numbers. They are defined as linear applications on some subcone of $\mathbb{R}^d$. We consider…

Dynamical Systems · Mathematics 2015-11-30 Sébastien Labbé

Semantic correspondence, the task of determining relationships between different parts of images, underpins various applications including 3D reconstruction, image-to-image translation, object tracking, and visual place recognition. Recent…

Computer Vision and Pattern Recognition · Computer Science 2024-12-05 Frank Fundel , Johannes Schusterbauer , Vincent Tao Hu , Björn Ommer

Single-Image Super-Resolution (SISR) aims to reconstruct a High-Resolution (HR) image from a Low-Resolution (LR) observation, a fundamentally ill-posed problem where high-frequency details are severely degraded at large upscaling factors.…

Computer Vision and Pattern Recognition · Computer Science 2026-05-11 Roberto Isai Navaro-Aviña , Eduardo Said Merin-Martinez , Andres Mendez-Vazquez , Eduardo Rodriguez-Tello

This paper presents a novel method for solving partial differential equations on three-dimensional CAD geometries by means of immersed isogeometric discretizations that do not require quadrature schemes. It relies on a new developed…

Numerical Analysis · Mathematics 2021-07-20 Pablo Antolin , Thibaut Hirschler

We extend the semi-Lagrangian discontinuous Galerkin (SLDG) method of Einkemmer to velocity grids with adaptive mesh refinement (AMR) and to three-dimensional velocity space. The original SLDG formulation assumes uniform cell widths, which…

Numerical Analysis · Mathematics 2026-03-23 Mark F. Adams

In recent literature there are plenty of works that combine handcrafted and learnable regularizers to solve inverse imaging problems. While this hybrid approach has demonstrated promising results, the motivation for combining handcrafted…

Computer Vision and Pattern Recognition · Computer Science 2025-05-23 Alexandros Gkillas , Dimitris Ampeliotis , Kostas Berberidis

Composed image retrieval is a type of image retrieval task where the user provides a reference image as a starting point and specifies a text on how to shift from the starting point to the desired target image. However, most existing…

Computer Vision and Pattern Recognition · Computer Science 2023-09-19 Xingyu Yang , Daqing Liu , Heng Zhang , Yong Luo , Chaoyue Wang , Jing Zhang

Integrated Computational Materials Engineering (ICME) aims to accelerate optimal design of complex material systems by integrating material science and design automation. For tractable ICME, it is required that (1) a structural feature…

Materials Science · Physics 2017-05-01 Ruijin Cang , Yaopengxiao Xu , Shaohua Chen , Yongming Liu , Yang Jiao , Max Yi Ren