arrow
返回

Program Synthesis for Geometric Modeling

delete2026-01-01
delete0
PRE
AI
R
Romain Pascual *
P
Pascale Le Gall
H
Hakim Belhaouari
A
Agnès Arnould
DOI:10.1007/978-3-032-04848-6_9delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
在编程语言中实现几何建模操作可能具有固有挑战性,尽管其输入到输出的描述看似简单。我们提出一种程序合成方法,通过代表性示例生成可执行代码。我们专注于基于拓扑的建模中的几何计算,其中n维对象被分解为添加了几何信息的单元。该领域使用表示为图的组合结构,操作被形式化为图转换规则,几何修改由规则图节点上的类似代码的注释给出。
Keyword:
Programming-by-example
Domain-specific language
Topology-based geometric modeling
Constraint-solving

期刊

L
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF:
0
论文数:
13
被引数:
0

机构

U
universite de limoges
学者数:
3.1K
论文数: 2.1K
被引数: 2
U
Universite Paris Saclay
学者数:
7.3W
论文数: 5.3W
被引数: 540
引用论文

引用论文

L-SYSTEM DESCRIPTION OF SUBDIVISION CURVES
err2003-06-01
err0
errOAAI
errPRZEMYSLAW PRUSINKIEWICZ; FARAMARZ SAMAVATI; COLIN SMITH; RADOSLAW KARWOWSKI
err分享
err收藏
A Colour Interpolation Scheme for Topologically Unrestricted Gradient Meshes
err2016-04-14
err0
errOAAI
errHenrik Lieng; Jiří Kosinka; Jingjing Shen; Neil A. Dodgson
err分享
err收藏
Program Synthesis
err2017-01-01
err0
PREAI
errSumit Gulwani; Oleksandr Polozov; Rishabh Singh
err分享
err收藏
Programmatic and direct manipulation, together at last
err2016-08-01
err0
PREAI
errChugh,Ravi; Hempel,Brian; Spradlin,Mitchell; Albers,Jacob
err分享
err收藏
err分享
err收藏
Synthesizing geometry constructions
err2011-06-04
err0
PREAI
errSumit Gulwani; Vijay Anand Korthikanti; Ashish Tiwari
err分享
err收藏
学者 查看更多内容