English
Related papers

Related papers: Introducing Bidirectional Programming in Construct…

200 papers

Recent advancements in world models have revolutionized dynamic environment simulation, allowing systems to foresee future states and assess potential actions. In autonomous driving, these capabilities help vehicles anticipate the behavior…

Computer Vision and Pattern Recognition · Computer Science 2025-05-30 Anthony Chen , Wenzhao Zheng , Yida Wang , Xueyang Zhang , Kun Zhan , Peng Jia , Kurt Keutzer , Shanghang Zhang

During the last ten years, increasing efforts were made to improve and simplify the process from Computer Aided Design (CAD) modeling to a numerical simulation. It has been shown that the transition from one model to another, i.e. the…

Computational Engineering, Finance, and Science · Computer Science 2018-10-01 Benjamin Wassermann , Stefan Kollmannsberger , Tino Bog , Ernst Rank

3D modeling is becoming a well-developed field of medicine, but its applicability can be limited due to the lack of software allowing for easy utilizations of generated 3D visualizations. By leveraging recent advances in virtual reality, we…

Human-Computer Interaction · Computer Science 2020-12-07 Alex J. Deakyne , Erik N. Gaasedelen , Tinen L. Iles , Paul A. Iaizzo

In this work we propose algorithms to explicitly construct a conservative estimate of the configuration spaces of rigid objects in 2D and 3D. Our approach is able to detect compact path components and narrow passages in configuration space…

Robotics · Computer Science 2020-02-10 Anastasiia Varava , J. Frederico Carvalho , Danica Kragic , Florian T. Pokorny

In this paper, we present Code Shrew, a new software platform accompanied by an interactive programming course. Its aim is to teach the fundamentals of computer programming by enabling users to create their own drawings and animations. The…

Computers and Society · Computer Science 2018-08-09 Ludwik Trammer , Jamie Nunez

Understanding 2D cross-sections of 3D structures is a crucial skill in many disciplines, from geology to medical imaging. Cross-section inference in the context of 3D structures requires a complex set of spatial/visualization skills…

Human-Computer Interaction · Computer Science 2020-01-22 Anahita Sanandaji , Cindy Grimm , Ruth West , Christopher Sanchez

A tutorial introduction to projective geometric algebra (PGA), a modern, coordinate-free framework for doing euclidean geometry. PGA features: uniform representation of points, lines, and planes; robust, parallel-safe join and meet…

General Mathematics · Mathematics 2020-08-19 Charles G. Gunn

Computer-aided design (CAD) is the digital construction of 2D and 3D objects, and is central to a wide range of engineering and manufacturing applications like automobile and aviation. Despite its importance, CAD modeling remains largely a…

Graphics · Computer Science 2026-01-09 Prashant Govindarajan , Davide Baldelli , Jay Pathak , Quentin Fournier , Sarath Chandar

We present a novel methodology based on geometric approach to simulate magnification lens effects. Our aim is to promote new applications of powerful geometric modeling techniques in visual computing. Conventional image…

Graphics · Computer Science 2013-08-05 Bo Li , Xin Zhao

The creation of manufacturable and editable 3D shapes through Computer-Aided Design (CAD) remains a highly manual and time-consuming task, hampered by the complex topology of boundary representations of 3D solids and unintuitive design…

Computer Vision and Pattern Recognition · Computer Science 2025-04-10 Md Ferdous Alam , Faez Ahmed

Reversibility is a key issue in the interface between computation and physics, and of growing importance as miniaturization progresses towards its physical limits. Most foundational work on reversible computing to date has focussed on…

Logic in Computer Science · Computer Science 2011-12-01 Samson Abramsky

Spatial computing is a technological advancement that facilitates the seamless integration of devices into the physical environment, resulting in a more natural and intuitive digital world user experience. Spatial computing has the…

Generative methods for 3D assets have recently achieved remarkable progress, yet providing intuitive and precise control over the object geometry remains a key challenge. Existing approaches predominantly rely on text or image prompts,…

Computer Vision and Pattern Recognition · Computer Science 2026-03-16 Elisabetta Fedele , Francis Engelmann , Ian Huang , Or Litany , Marc Pollefeys , Leonidas Guibas

Parametric Computer-Aided Design (CAD) of articulated assemblies is essential for product development, yet generating these multi-part, movable models from high-level descriptions remains unexplored. To address this, we propose ArtiCAD, the…

Computer Vision and Pattern Recognition · Computer Science 2026-04-15 Yuan Shui , Yandong Guan , Zhanwei Zhang , Juncheng Hu , Jing Zhang , Dong Xu , Qian Yu

Multimodal geometry reasoning requires models to jointly understand visual diagrams and perform structured symbolic inference, yet current vision--language models struggle with complex geometric constructions due to limited training data…

Computer Vision and Pattern Recognition · Computer Science 2026-02-24 Haobo Lin , Tianyi Bai , Chen Chen , Jiajun Zhang , Bohan Zeng , Wentao Zhang , Binhang Yuan

Robotic surface-interaction tasks, such as spray painting or welding, require both accurate geometric planning and precise motion execution. While modern motion planners generate valid geometric paths, they often lack the expert motor…

Robotics · Computer Science 2026-05-26 Miroslav David , Karla Stepanova , Robert Babuska

We develop a computational framework that leverages the features of sophisticated software tools and numerics to tackle some of the pressing issues in the realm of earth sciences. The algorithms to handle the physics of multiphase flow,…

Computational Engineering, Finance, and Science · Computer Science 2021-02-10 Saumik Dana , Xiaoxi Zhao , Birendra Jha

Using an interface inserted in a background mesh is an alternative way of constructing a complex geometrical shape with a relative low meshing efforts. However, this process may require special treatment of elements cut by the interface.…

Computational Engineering, Finance, and Science · Computer Science 2025-09-26 Guilherme Henrique Teixeira , Michael Loibl , Benjamin Marussig

The concept of open weak CAD is introduced. Every open CAD is an open weak CAD. On the contrary, an open weak CAD is not necessarily an open CAD. An algorithm for computing projection polynomials of open weak CADs is proposed. The key idea…

Symbolic Computation · Computer Science 2019-03-28 Jingjun Han , Liyun Dai , Hoon Hong , Bican Xia

Aiming at automating the different trades intervening in mechanical parts' design activities, one finds the weakest link within the interface linking the computer aided-design trade (CAD) and the process planning trade (CAPP) where a huge…

Classical Physics · Physics 2007-05-23 Ramy Harik , Vincent Capponi , Muriel Lombard , Gabriel Ris