中文
相关论文

相关论文: Towards rule-based visual programming of generic v…

200 篇论文

The progress made in code modeling has been tremendous in recent years thanks to the design of natural language processing learning approaches based on state-of-the-art model architectures. Nevertheless, we believe that the current…

软件工程 · 计算机科学 2022-02-22 Martin Weyssow , Houari Sahraoui , Bang Liu

Constraint Handling Rules (CHR) has matured into a general purpose language over the past two decades. Any general purpose language requires its own development tools. Visualization tools, in particular, facilitate many tasks for…

编程语言 · 计算机科学 2014-05-16 Nada Sharaf , Slim Abdennadher , Thom Fruehwirth

Visual language is a system of communication that conveys information through symbols, shapes, and spatial arrangements. Diagrams are a typical example of a visual language depicting complex concepts and their relationships in the form of…

计算与语言 · 计算机科学 2025-05-27 Yifan Hou , Buse Giledereli , Yilei Tu , Mrinmaya Sachan

Bridging the gap between natural language commands and autonomous execution in unstructured environments remains an open challenge for robotics. This requires robots to perceive and reason over the current task scene through multiple…

机器人学 · 计算机科学 2025-12-23 Jin Wang , Kim Tien Ly , Jacques Cloete , Nikos Tsagarakis , Ioannis Havoutis

In this paper, we introduce a new approach for drawing diagrams that have applications in software visualization. Our approach is to use a technique we call confluent drawing for visualizing non-planar diagrams in a planar way. This…

计算几何 · 计算机科学 2007-05-23 Matthew Dickerson , David Eppstein , Michael T. Goodrich , Jeremy Meng

While conditional generation models can now generate natural language well enough to create fluent text, it is still difficult to control the generation process, leading to irrelevant, repetitive, and hallucinated content. Recent work shows…

We describe a visual programming language for defining behaviors manifested by reified actors in a 2D virtual world that can be compiled into programs comprised of sequences of combinators that are themselves reified as actors. This makes…

神经与进化计算 · 计算机科学 2015-06-05 Lance R. Williams

We have designed a new logic programming language called LM (Linear Meld) for programming graph-based algorithms in a declarative fashion. Our language is based on linear logic, an expressive logical system where logical facts can be…

编程语言 · 计算机科学 2020-02-19 Flavio Cruz , Ricardo Rocha , Seth Copen Goldstein , Frank Pfenning

We study program refactoring while considering the language or even the programming paradigm as a parameter. We use typed functional programs, namely Haskell programs, as the specification medium for a corresponding refactoring framework.…

编程语言 · 计算机科学 2007-05-23 Ralf Laemmel

A database driven web application is a very common software solution to rising business problems. Modeling the database and the software architecture can be challenging, hence there not being one combined modeling language for database and…

软件工程 · 计算机科学 2022-10-06 Thijs Otter

Ensuring the functional correctness and safety of autonomous vehicles is a major challenge for the automotive industry. However, exhaustive physical test drives are not feasible, as billions of driven kilometers would be required to obtain…

软件工程 · 计算机科学 2021-02-09 Barbara Schuett , Thilo Braun , Stefan Otten , Eric Sax

A curriculum is a planned sequence of learning materials and an effective one can make learning efficient and effective for both humans and machines. Recent studies developed effective data-driven curriculum learning approaches for training…

机器学习 · 计算机科学 2023-07-19 Nidhi Vakil , Hadi Amiri

Automatic generation of graphical layouts is crucial for many real-world applications, including designing posters, flyers, advertisements, and graphical user interfaces. Given the incredible ability of Large language models (LLMs) in both…

计算与语言 · 计算机科学 2024-10-18 Jian Chen , Ruiyi Zhang , Yufan Zhou , Jennifer Healey , Jiuxiang Gu , Zhiqiang Xu , Changyou Chen

Procedural materials, represented as functional node graphs, are ubiquitous in computer graphics for photorealistic material appearance design. They allow users to perform intuitive and precise editing to achieve desired visual appearances.…

计算机视觉与模式识别 · 计算机科学 2025-02-19 Beichen Li , Rundi Wu , Armando Solar-Lezama , Changxi Zheng , Liang Shi , Bernd Bickel , Wojciech Matusik

Property graph manages data by vertices and edges. Each vertex and edge can have a property map, storing ad hoc attribute and its value. Label can be attached to vertices and edges to group them. While this schema-less methodology is very…

数据库 · 计算机科学 2019-04-22 Mingxi Wu

In recent years, deep generative models have been shown to 'imagine' convincing high-dimensional observations such as images, audio, and even video, learning directly from raw data. In this work, we ask how to imagine goal-directed visual…

机器学习 · 计算机科学 2018-07-27 Thanard Kurutach , Aviv Tamar , Ge Yang , Stuart Russell , Pieter Abbeel

Existing methods for visual reasoning attempt to directly map inputs to outputs using black-box architectures without explicitly modeling the underlying reasoning processes. As a result, these black-box models often learn to exploit biases…

计算机视觉与模式识别 · 计算机科学 2017-05-11 Justin Johnson , Bharath Hariharan , Laurens van der Maaten , Judy Hoffman , Li Fei-Fei , C. Lawrence Zitnick , Ross Girshick

Visual grounding is a ubiquitous building block in many vision-language tasks and yet remains challenging due to large variations in visual and linguistic features of grounding entities, strong context effect and the resulting semantic…

计算机视觉与模式识别 · 计算机科学 2019-11-26 Yongfei Liu , Bo Wan , Xiaodan Zhu , Xuming He

Vision-language models (VLMs) have shown promise in graph structure understanding, but remain limited by input-token constraints, facing scalability bottlenecks and lacking effective mechanisms to coordinate textual and visual modalities.…

人工智能 · 计算机科学 2026-01-12 Shuo Han , Yukun Cao , Zezhong Ding , Zengyi Gao , S Kevin Zhou , Xike Xie

Answering visual queries is a complex task that requires both visual processing and reasoning. End-to-end models, the dominant approach for this task, do not explicitly differentiate between the two, limiting interpretability and…

计算机视觉与模式识别 · 计算机科学 2023-03-15 Dídac Surís , Sachit Menon , Carl Vondrick