English
Related papers

Related papers: Towards Interactive Object-Oriented Programming

200 papers

We present a machine learning algorithm for building classifiers that are comprised of a small number of disjunctions of conjunctions (or's of and's). An example of a classifier of this form is as follows: If X satisfies (x1 = 'blue' AND x3…

Machine Learning · Computer Science 2015-04-29 Tong Wang , Cynthia Rudin , Finale Doshi-Velez , Yimin Liu , Erica Klampfl , Perry MacNeille

Object-centric representation (OCR) has recently become a subject of interest in the computer vision community for learning a structured representation of images and videos. It has been several times presented as a potential way to improve…

Artificial Intelligence · Computer Science 2025-06-25 Alexandre Chapin , Emmanuel Dellandrea , Liming Chen

We build deep RL agents that execute declarative programs expressed in formal language. The agents learn to ground the terms in this language in their environment, and can generalize their behavior at test time to execute new programs that…

Artificial Intelligence · Computer Science 2017-06-21 Misha Denil , Sergio Gómez Colmenarejo , Serkan Cabi , David Saxton , Nando de Freitas

In this paper, we study an extension of the stable model semantics for disjunctive logic programs where each true atom in a model is associated with an algebraic expression (in terms of rule labels) that represents its justifications. As in…

Logic in Computer Science · Computer Science 2016-10-12 Pedro Cabalar , Jorge Fandinno

Dataflow languages provide natural support for specifying constraints between objects in dynamic applications, where programs need to react efficiently to changes of their environment. Researchers have long investigated how to take…

Programming Languages · Computer Science 2011-04-13 Camil Demetrescu , Irene Finocchi , Andrea Ribichini

Consider the process of collective decision-making, in which a group of individuals interactively select a preferred outcome from among a universe of alternatives. In this context, "representation" is the activity of making an individual's…

Despite much progress in large 3D datasets there are currently few interactive 3D object datasets, and their scale is limited due to the manual effort required in their construction. We introduce the static to openable (S2O) task which…

Computer Vision and Pattern Recognition · Computer Science 2025-03-18 Denys Iliash , Hanxiao Jiang , Yiming Zhang , Manolis Savva , Angel X. Chang

The use of functional programming languages in the first programming course at many universities is well-established and effective. Invariably, however, students must progress to study object-oriented programming. This article presents how…

Computers and Society · Computer Science 2022-08-15 Marco T. Morazán

This paper introduces an innovative approach to open world recognition (OWR), where we leverage knowledge acquired from known objects to address the recognition of previously unseen objects. The traditional method of object modeling relies…

Computer Vision and Pattern Recognition · Computer Science 2024-06-25 Paridhi Singh , Arun Kumar

We introduce agents that use object-oriented reasoning to consider alternate states of the world in order to more quickly find solutions to problems. Specifically, a hierarchical controller directs a low-level agent to behave as if objects…

Selection of occluded objects is a challenging problem in virtual reality, even more so if multiple objects are involved. With the advent of new artificial intelligence technologies, we explore the possibility of leveraging large language…

Human-Computer Interaction · Computer Science 2024-10-29 Junlong Chen , Jens Grubert , Per Ola Kristensson

High-level specifications of code are inherently ambiguous, and prior systems have explored interactive techniques to help users clarify their intent and resolve such ambiguities. However, most existing approaches elicit supervision through…

Programming Languages · Computer Science 2026-04-13 Celeste Barnaby , Danny Ding , Osbert Bastani , Isil Dillig

This book is about the transformation of screen objects into movable and resizable and about the design of applications entirely on the basis of such elements. The screen objects have a wide variety of shapes; they can be either graphical…

Human-Computer Interaction · Computer Science 2010-11-10 Sergey Andreyev

Learning robotic manipulation skills from vision is a promising approach for developing robotics applications that can generalize broadly to real-world scenarios. As such, many approaches to enable this vision have been explored with…

Computer Vision and Pattern Recognition · Computer Science 2025-03-17 David Emukpere , Romain Deffayet , Bingbing Wu , Romain Brégier , Michael Niemaz , Jean-Luc Meunier , Denys Proux , Jean-Michel Renders , Seungsu Kim

Intensional sets are sets given by a property rather than by enumerating their elements. In previous work, we have proposed a decision procedure for a first-order logic language which provides Restricted Intensional Sets (RIS), i.e., a…

Programming Languages · Computer Science 2020-08-03 Maximiliano Cristiá , Andrea Fois , Gianfranco Rossi

Incremental object detection (IOD) aims to sequentially learn new classes, while maintaining the capability to locate and identify old ones. As the training data arrives with annotations only with new classes, IOD suffers from catastrophic…

Computer Vision and Pattern Recognition · Computer Science 2024-08-28 Jichuan Zhang , Wei Li , Shuang Cheng , Ya-Li Li , Shengjin Wang

An empirical study was conducted to analyse design strategies and knowledge used in object-oriented software design. Eight professional programmers experienced with procedural programming languages and either experienced or not experienced…

Human-Computer Interaction · Computer Science 2016-08-16 Françoise Détienne

Although modern object detection and classification models achieve high accuracy, these are typically constrained in advance on a fixed train set and are therefore not flexible to deal with novel, unseen object categories. Moreover, these…

Artificial Intelligence · Computer Science 2021-08-27 Toon Van de Maele , Tim Verbelen , Ozan Catal , Bart Dhoedt

We introduce a taxonomy of objects for EO programming language. This taxonomy is designed with a few principles in mind: non-redundancy, simplicity, and so on. The taxonomy is supposed to be used as a navigation map by EO programmers. It…

Programming Languages · Computer Science 2025-08-13 Yegor Bugayenko , Maxim Trunnikov

Automatic differentiation plays a prominent role in scientific computing and in modern machine learning, often in the context of powerful programming systems. The relation of the various embodiments of automatic differentiation to the…

Programming Languages · Computer Science 2020-02-04 Martin Abadi , Gordon D. Plotkin
‹ Prev 1 4 5 6 7 8 10 Next ›