English
Related papers

Related papers: An object evaluator to generate flexible applicati…

200 papers

We introduce TIDE, a framework and associated toolbox for analyzing the sources of error in object detection and instance segmentation algorithms. Importantly, our framework is applicable across datasets and can be applied directly to…

Computer Vision and Pattern Recognition · Computer Science 2020-09-02 Daniel Bolya , Sean Foley , James Hays , Judy Hoffman

This paper addresses the problem of IDE interface complexity by introducing single-window graphical user interface. This approach lies in removing additional child windows from IDE, thus allowing a user to keep only text editor window open.…

Software Engineering · Computer Science 2012-07-09 Ivan Ruchkin , Vladimir Prus

This paper describes the architecture of R&D Analyst, a commercial intelligent decision system for evaluating corporate research and development projects and portfolios. In analyzing projects, R&D Analyst interactively guides a user in…

Artificial Intelligence · Computer Science 2013-03-25 Peter J. Regan , Samuel Holtzman

Auto-active verifiers provide a level of automation intermediate between fully automatic and interactive: users supply code with annotations as input while benefiting from a high level of automation in the back-end. This paper presents…

Logic in Computer Science · Computer Science 2015-09-01 Julian Tschannen , Carlo A. Furia , Martin Nordio , Nadia Polikarpova

User's perception of product, by essence subjective, is a major topic in marketing and industrial design. Many methods, based on users' tests, are used so as to characterise this perception. We are interested in three main methods:…

Human-Computer Interaction · Computer Science 2007-05-23 Jean-François Petiot , Damien Chablat

Artificial Intelligence (AI) applications in automation systems are usually distributed systems whose development and integration involve several experts. Each expert uses its own domain-specific modeling language and tools to model the…

Artificial Intelligence · Computer Science 2023-06-22 Marvin Schieseck , Philip Topalis , Alexander Fay

We present a new programming paradigm which can be useful, in particular, for implementing window interfaces and parallel algorithms. This paradigm allows a user to define operators which can contain nested operators. The new paradigm is…

Programming Languages · Computer Science 2010-04-26 Pavel Ruzankin

Computer-Use Agents (CUA) are becoming increasingly capable of autonomously operating digital environments through Graphical User Interfaces (GUI). Yet, most GUI remain designed primarily for humans--prioritizing aesthetics and…

Computer Vision and Pattern Recognition · Computer Science 2025-11-20 Kevin Qinghong Lin , Siyuan Hu , Linjie Li , Zhengyuan Yang , Lijuan Wang , Philip Torr , Mike Zheng Shou

Developing large-scale distributed applications can be a daunting task. object-based environments have attempted to alleviate problems by providing distributed objects that look like local objects. We advocate that this approach has…

Distributed, Parallel, and Cluster Computing · Computer Science 2010-07-30 Jan-Mark S. Wams , Maarten van Steen

AI agents -- systems that combine foundation models with reasoning, planning, memory, and tool use -- are rapidly becoming a practical interface between natural-language intent and real-world computation. This survey synthesizes the…

Artificial Intelligence · Computer Science 2026-01-06 Bin Xu

Enterprise information systems can be developed following a model-driven paradigm. This way, models that represent the organisational work practice are used to produce models that represent the information system. Current software…

Software Engineering · Computer Science 2011-07-05 Sergio España , Arturo González , Óscar Pastor , Marcela Ruiz

Seamless model based development aims to use models during all phases of the development process of a system. During the development process in a component-based approach, components of a system are described at qualitatively differing…

Software Engineering · Computer Science 2012-02-29 Jan Olaf Blech , Dongyue Mou , Daniel Ratiu

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

Software engineering is extremely information-intensive. Every day developers work with source code, version repositories, issue trackers, documentation, web-based and other information resources. However, three key aspects of information…

Software Engineering · Computer Science 2016-07-18 Dimitar Asenov , Peter Müller , Lukas Vogel

To model real-world software systems, modelling paradigms should support a form of compositionality. In interface theory and model-based testing with inputs and outputs, conjunctive operators have been introduced: the behaviour allowed by…

Formal Languages and Automata Theory · Computer Science 2020-02-21 Ramon Janssen

This article is an attempt to combine different ways of working with sets of objects and their classes for designing and development of artificial intelligent systems (AIS) of analysis information, using object-oriented programming (OOP).…

Artificial Intelligence · Computer Science 2020-02-24 D. O. Terletskyi , O. I. Provotar

This article aims to demonstrate and discuss the applications of automatic differentiation (AD) for finding derivatives in PDE-constrained optimization problems and Jacobians in non-linear finite element analysis. The main idea is to…

Numerical Analysis · Mathematics 2025-06-03 Julian Andrej , Tzanio Kolev , Boyan Lazarov

We describe a framework to support the implementation of web-based systems intended to manipulate data stored in relational databases. Since the conceptual model of a relational database is often specified as an entity-relationship (ER)…

Programming Languages · Computer Science 2020-02-19 Michael Hanus , Sven Koschnicke

Document management software systems are having a wide audience at present. However, groupware as a term has a wide variety of possible definitions. Groupware classification attempt is made in this paper. Possible approaches to groupware…

Software Engineering · Computer Science 2007-05-23 Sergey V. Zykov , Gleb G. Pogodayev

Effect systems are used to statically reason about the effects an expression may have when evaluated. In the literature, such effects include various behaviours as diverse as memory accesses and exception throwing. Here we present CallE, an…

Programming Languages · Computer Science 2019-09-09 Isaac Oscar Gariano , James Noble , Marco Servetto