English
Related papers

Related papers: Object-Oriented Translation for Programmable Relat…

200 papers

While learning visuomotor skills in an end-to-end manner is appealing, deep neural networks are often uninterpretable and fail in surprising ways. For robotics tasks, such as autonomous driving, models that explicitly represent objects may…

Artificial Intelligence · Computer Science 2019-03-04 Dequan Wang , Coline Devin , Qi-Zhi Cai , Fisher Yu , Trevor Darrell

Task-oriented handovers (TOH) are fundamental to effective human-robot collaboration, requiring robots to present objects in a way that supports the human's intended post-handover use. Existing approaches are typically based on object- or…

Robotics · Computer Science 2026-03-10 Andreea Tulbure , Carmen Scheidemann , Elias Steiner , Marco Hutter

Deep learning approaches to object detection have achieved reliable detection of specific object classes in images. However, extending a model's detection capability to new object classes requires large amounts of annotated training data,…

Computer Vision and Pattern Recognition · Computer Science 2025-12-01 Vikhyat Agarwal , Jiayi Cora Guo , Declan Hoban , Sissi Zhang , Nicholas Moran , Peter Cho , Srilakshmi Pattabiraman , Shantanu Joshi

We show that verification of object-oriented programs by means of the assertional method can be achieved in a simple way by exploiting a syntax-directed transformation from object-oriented programs to recursive programs. This transformation…

Logic in Computer Science · Computer Science 2011-11-09 Krzysztof R. Apt , Frank S. de Boer , Ernst-Ruediger Olderog , Stijn de Gouw

Language models (LMs) pretrained on a large text corpus and fine-tuned on a downstream text corpus and fine-tuned on a downstream task becomes a de facto training strategy for several natural language processing (NLP) tasks. Recently, an…

Computation and Language · Computer Science 2021-07-23 Junghoon Lee , Jounghee Kim , Pilsung Kang

We build a Generative Pre-trained Transformer (GPT) model from scratch to solve sequential decision making tasks arising in contexts of operations research and management science which we call OMGPT. We first propose a general sequence…

Machine Learning · Computer Science 2025-05-21 Hanzhao Wang , Guanting Chen , Kalyan Talluri , Xiaocheng Li

This paper presents a novel structured knowledge representation called the functional object-oriented network (FOON) to model the connectivity of the functional-related objects and their motions in manipulation tasks. The graphical model…

Robotics · Computer Science 2020-12-01 David Paulius , Yongqiang Huang , Roger Milton , William D. Buchanan , Jeanine Sam , Yu Sun

This paper addresses the generation of referring expressions that not only refer to objects correctly but also let humans find them quickly. As a target becomes relatively less salient, identifying referred objects itself becomes more…

Computer Vision and Pattern Recognition · Computer Science 2019-08-30 Mikihiro Tanaka , Takayuki Itamochi , Kenichi Narioka , Ikuro Sato , Yoshitaka Ushiku , Tatsuya Harada

Search-oriented conversational systems rely on information needs expressed in natural language (NL). We focus here on the understanding of NL expressions for building keyword-based queries. We propose a reinforcement-learning-driven…

Computation and Language · Computer Science 2018-09-06 Wafa Aissa , Laure Soulier , Ludovic Denoyer

Existing referring understanding tasks tend to involve the detection of a single text-referred object. In this paper, we propose a new and general referring understanding task, termed referring multi-object tracking (RMOT). Its core idea is…

Computer Vision and Pattern Recognition · Computer Science 2023-03-14 Dongming Wu , Wencheng Han , Tiancai Wang , Xingping Dong , Xiangyu Zhang , Jianbing Shen

We develop a general framework for the specification and implementation of systems whose executions are words, or partial orders, over an infinite alphabet. As a model of an implementation, we introduce class register automata, a one-way…

Formal Languages and Automata Theory · Computer Science 2012-01-10 Benedikt Bollig

One of the challenging problems in the multidatabase systems is to find the most viable solution to the problem of interoperability of distributed heterogeneous autonomous local component databases. This has resulted in the creation of a…

Databases · Computer Science 2009-12-04 Mohammad Ghulam Ali

This paper proposes a hierarchical attentional neural translation model which focuses on enhancing source-side hierarchical representations by covering both local and global semantic information using a bidirectional tree-based encoder. To…

Computation and Language · Computer Science 2017-07-18 Baosong Yang , Derek F. Wong , Tong Xiao , Lidia S. Chao , Jingbo Zhu

Vision Language Models (VLMs) play a crucial role in robotic manipulation by enabling robots to understand and interpret the visual properties of objects and their surroundings, allowing them to perform manipulation based on this multimodal…

Robotics · Computer Science 2025-05-21 Nurhan Bulus Guran , Hanchi Ren , Jingjing Deng , Xianghua Xie

Relational databases are valuable resources for learning novel and interesting relations and concepts. In order to constraint the search through the large space of candidate definitions, users must tune the algorithm by specifying a…

Databases · Computer Science 2020-04-08 Jose Picado , Arash Termehchy , Sudhanshu Pathak , Alan Fern , Praveen Ilango , Yunqiao Cai

Document-level machine translation incorporates inter-sentential dependencies into the translation of a source sentence. In this paper, we propose a new framework to model cross-sentence dependencies by training neural machine translation…

Computation and Language · Computer Science 2020-03-31 Pei Zhang , Xu Zhang , Wei Chen , Jian Yu , Yanfeng Wang , Deyi Xiong

Generalization has been one of the major challenges for learning dynamics models in model-based reinforcement learning. However, previous work on action-conditioned dynamics prediction focuses on learning the pixel-level motion and thus…

Computer Vision and Pattern Recognition · Computer Science 2018-10-31 Guangxiang Zhu , Zhiao Huang , Chongjie Zhang

This paper presents the formal definition of a domain-specific language, named Pantagruel, following the methodology proposed by David Schmidt for language development. This language is dedicated to programming applications that orchestrate…

Programming Languages · Computer Science 2013-09-23 Julien Mercadal , Zoé Drey , Charles Consel

Simultaneous machine translation, which aims at a real-time translation, is useful in many live scenarios but very challenging due to the trade-off between accuracy and latency. To achieve the balance for both, the model needs to wait for…

Computation and Language · Computer Science 2023-03-22 Lei Lin , Shuangtao Li , Xiaodong Shi

The relational data model was designed to facilitate large-scale data management and analytics. We consider the problem of how to differentiate computations expressed relationally. We show experimentally that a relational engine running an…

Machine Learning · Computer Science 2023-06-08 Yuxin Tang , Zhimin Ding , Dimitrije Jankov , Binhang Yuan , Daniel Bourgeois , Chris Jermaine