English
Related papers

Related papers: A knowledge-driven framework for synthesizing desi…

200 papers

We propose a new procedure to guide training of a data-driven shape generative model using a structure-aware loss function. Complex 3D shapes often can be summarized using a coarsely defined structure which is consistent and robust across…

Computer Vision and Pattern Recognition · Computer Science 2018-08-07 Elena Balashova , Vivek Singh , Jiangping Wang , Brian Teixeira , Terrence Chen , Thomas Funkhouser

Many software systems have become too large and complex to be managed efficiently by human administrators, particularly when they operate in uncertain and dynamic environments and require frequent changes. Requirements-driven adaptation…

Software Engineering · Computer Science 2020-01-24 Yehia Elrakaiby , Paola Spoletini , Bashar Nuseibeh

Due to the complex specifications of current electronic systems, design decisions need to be explored automatically. However, the exploration process is a complex task given the plethora of design choices such as the selection of…

Hardware Architecture · Computer Science 2023-06-22 Sergio Vinagrero Gutiérrez , Giorgio Di Natale , Elena-Ioana Vatajelu

The design of a complex system warrants a compositional methodology, i.e., composing simple components to obtain a larger system that exhibits their collective behavior in a meaningful way. We propose an automaton-based paradigm for…

Logic in Computer Science · Computer Science 2023-02-03 Tobias Kappé , Farhad Arbab , Carolyn Talcott

This article provides the motivation and overview of the Collective Knowledge framework (CK or cKnowledge). The CK concept is to decompose research projects into reusable components that encapsulate research artifacts and provide unified…

Machine Learning · Computer Science 2021-04-28 Grigori Fursin

We propose a framework for automatic colorization that allows for iterative editing and modifications. The core of our framework lies in an imagination module: by understanding the content within a grayscale image, we utilize a pre-trained…

Computer Vision and Pattern Recognition · Computer Science 2024-04-09 Xiaoyan Cong , Yue Wu , Qifeng Chen , Chenyang Lei

In an ever-changing world, even software that fulfils its requirements may have un-envisioned aftereffects with significant impacts. We explored how such impacts can be better understood at the pre-design phase in support of organisational…

Software Engineering · Computer Science 2023-06-19 Andrew Darby , Pete Sawyer , Nelly Bencomo

Object reconstruction is an important task in many fields of application as it allows to generate digital representations of our physical world used as base for analysis, planning, construction, visualization or other aims. A reconstruction…

The potential benefits of autonomous systems have been driving intensive development of such systems, and of supporting tools and methodologies. However, there are still major issues to be dealt with before such development becomes…

Software Engineering · Computer Science 2022-05-25 David Harel , Assaf Marron , Joseph Sifakis

Constructing scientific multimodal document reasoning datasets for foundation model training involves an inherent trade-off among scale, faithfulness, and realism. To address this challenge, we introduce the synthesize-and-reground…

Computation and Language · Computer Science 2026-04-30 Ziyu Chen , Yilun Zhao , Chengye Wang , Rilyn Han , Manasi Patwardhan , Arman Cohan

Modular robots can be tailored to achieve specific tasks and rearranged to achieve previously infeasible ones. The challenge is choosing an appropriate design from a large search space. In this work, we describe a framework that…

Robotics · Computer Science 2021-06-18 Thais Campos , Hadas Kress-Gazit

Current approaches to the annotation process focus on annotation schemas, languages for annotation, or are very application driven. In this paper it is proposed that a more flexible architecture for annotation requires a knowledge component…

Digital Libraries · Computer Science 2007-05-23 Afzal Ballim , Nastaran Fatemi , Hatem Ghorbel , Vincenzo Pallotta

Artificial intelligence (AI) is reshaping inverse design in manufacturing, enabling high-performance discovery in materials, products, and processes. However, purely data-driven approaches often struggle in realistic manufacturing settings…

Artificial Intelligence · Computer Science 2025-08-26 Hugon Lee , Hyeonbin Moon , Junhyeong Lee , Seunghwa RYu

A fundamental question in system design is to decide how much of the design of one component must be known in order to successfully design another component of the system. We study this question in the setting of reactive synthesis, where…

Logic in Computer Science · Computer Science 2016-11-24 Werner Damm , Bernd Finkbeiner , Astrid Rakow

Autonomous driving systems have a pipeline of perception, decision, planning, and control. The decision module processes information from the perception module and directs the execution of downstream planning and control modules. On the…

Artificial Intelligence · Computer Science 2021-05-07 Junning Huang , Sirui Xie , Jiankai Sun , Qiurui Ma , Chunxiao Liu , Jianping Shi , Dahua Lin , Bolei Zhou

Component-based software engineering aims to reduce software development effort by reusing established components as building blocks of complex systems. Defining components in general-purpose programming languages restricts their reuse to…

Software Engineering · Computer Science 2014-12-10 Jan Oliver Ringert , Bernhard Rumpe , Andreas Wortmann

Self-driving cars and autonomous vehicles are revolutionizing the automotive sector, shaping the future of mobility altogether. Although the integration of novel technologies such as Artificial Intelligence (AI) and Cloud/Edge computing…

Software Engineering · Computer Science 2020-09-25 Sorin Grigorescu , Tiberiu Cocias , Bogdan Trasnea , Andrea Margheri , Federico Lombardi , Leonardo Aniello

One of the fundamental aspects of cognitive architectures is their ability to encode and manipulate knowledge. Without a consistent, well-designed, and scalable knowledge management scheme, an architecture will be unable to move past toy…

Artificial Intelligence · Computer Science 2024-07-10 Constantine Nakos , Kenneth D. Forbus

Using the knowledge discovery framework, it is possible to explore object databases and extract groups of objects with highly heterogeneous movement behavior by efficiently integrating a priori knowledge through interacting with the…

Computer Vision and Pattern Recognition · Computer Science 2016-02-10 Benjamin Schott , Johannes Stegmaier , Masanari Takamiya , Ralf Mikut

Building and maintaining knowledge about specific interface technologies is a challenge. Current solutions include standard file-based document repositories, wikis, and other online tools. However, these solutions are often only available…

Human-Computer Interaction · Computer Science 2020-09-21 Elena Stoll , Dietrich Kammer
‹ Prev 1 4 5 6 7 8 10 Next ›