English
Related papers

Related papers: Using the DiaSpec design language and compiler to …

200 papers

The paper presents a software architecture to optimize the process of prototyping and deploying robot controllers that are synthesized using model-based design methodologies. The architecture is composed of a framework and a pipeline.…

Robotics · Computer Science 2020-02-04 Diego Ferigo , Silvio Traversaro , Francesco Romano , Daniele Pucci

Designing 3D scenes is currently a creative task that requires significant expertise and effort in using complex 3D design interfaces. This effortful design process starts in stark contrast to the easiness with which people can use language…

Graphics · Computer Science 2017-03-02 Angel X. Chang , Mihail Eric , Manolis Savva , Christopher D. Manning

Smart Cities and Communities (SCC) constitute a new paradigm in urban development. SCC ideates on a data-centered society aiming at improving efficiency by automating and optimizing activities and utilities. Information and communication…

Artificial Intelligence · Computer Science 2021-05-13 Cristofer Englund , Eren Erdal Aksoy , Fernando Alonso-Fernandez , Martin Daniel Cooney , Sepideh Pashami , Bjorn Astrand

Synthesizing natural human motion that adapts to complex environments while allowing creative control remains a fundamental challenge in motion synthesis. Existing models often fall short, either by assuming flat terrain or lacking the…

Computer Vision and Pattern Recognition · Computer Science 2024-12-23 Xiaohan Zhang , Sebastian Starke , Vladimir Guzov , Zhensong Zhang , Eduardo Pérez Pellitero , Gerard Pons-Moll

Semantic scene segmentation plays a critical role in a wide range of robotics applications, e.g., autonomous navigation. These applications are accompanied by specific computational restrictions, e.g., operation on low-power GPUs, at…

Computer Vision and Pattern Recognition · Computer Science 2021-08-26 Maria Tzelepi , Anastasios Tefas

With robotics rapidly advancing, more effective human-robot interaction is increasingly needed to realize the full potential of robots for society. While spoken language must be part of the solution, our ability to provide spoken language…

Robotics · Computer Science 2024-03-25 Matthew Marge , Carol Espy-Wilson , Nigel Ward

Development of Cyber Physical Systems (CPSs) requires close interaction between developers with expertise in many domains to achieve ever-increasing demands for improved performance, reduced cost, and more system autonomy. Each engineering…

Software Engineering · Computer Science 2020-04-14 Charles Hartsell , Nagabhushan Mahadevan , Harmon Nine , Ted Bapty , Abhishek Dubey , Gabor Karsai

Planning safe trajectories for autonomous vehicles in complex urban environments is challenging since there are numerous semantic elements (such as dynamic agents, traffic lights and speed limits) to consider. These semantic elements may…

Robotics · Computer Science 2019-06-25 Wenchao Ding , Lu Zhang , Jing Chen , Shaojie Shen

Human-robot interaction requires a common understanding of the operational environment, which can be provided by a representation that blends geometric and symbolic knowledge: a semantic map. Through a semantic map the robot can interpret…

Robotics · Computer Science 2021-05-18 Sara Kaszuba , Sandeep Reddy Sabbella , Vincenzo Suriani , Francesco Riccio , Daniele Nardi

Smart Cities are developing in parallel with the global trend towards urbanization. The ultimate goal of Smart City projects is to deliver a positive impact for the citizens and the socio-economic and ecological environment. This involves…

Software Engineering · Computer Science 2021-03-04 Carsten Wiecher , Carsten Wolff , Harald Anacker , Roman Dumitrescu

Today's production scale-out applications include many sub-application components, such as storage backends, logging infrastructure and AI models. These components have drastically different characteristics, are required to work in…

Computation and Language · Computer Science 2023-05-19 Jason Mars , Yiping Kang , Roland Daynauth , Baichuan Li , Ashish Mahendra , Krisztian Flautner , Lingjia Tang

Automated commonsense reasoning is essential for building human-like AI systems featuring, for example, explainable AI. Event Calculus (EC) is a family of formalisms that model commonsense reasoning with a sound, logical basis. Previous…

Artificial Intelligence · Computer Science 2021-06-29 Joaquín Arias , Manuel Carro , Zhuo Chen , Gopal Gupta

In real-world environments, AI systems often face unfamiliar scenarios without labeled data, creating a major challenge for conventional scene understanding models. The inability to generalize across unseen contexts limits the deployment of…

Computer Vision and Pattern Recognition · Computer Science 2025-10-31 Manjunath Prasad Holenarasipura Rajiv , B. M. Vidyavathi

Coding is a fundamental skill required in the engineering discipline, and much work exists exploring better ways of teaching coding in the higher education context. In particular, Code Snippets (CSs) are approved to be an effective way of…

Programming Languages · Computer Science 2025-06-03 Joshua Akingbade , Jianhua Yang , Mir Seyedebrahimi

A key challenge in System of Systems (SoS) engineering is the analysis and maintenance of global properties under SoS evolution, and the integration of new constituent elements. There is a need to model the constituent systems composing a…

Software Engineering · Computer Science 2017-03-22 Oldrich Faldik , Richard Payne , John Fitzgerald , Barbora Buhnova

The stakeholders involved in software development are becoming increasingly diverse, with both human contributors from varied backgrounds and AI-powered agents collaborating together in the process. This situation presents unique governance…

Software Engineering · Computer Science 2025-10-17 Adem Ait , Gwendal Jouneaux , Javier Luis Cánovas Izquierdo , Jordi Cabot

Control Co-Design (CCD) considers the coupled effects of both the plant and control parameters to optimize a system's closed-loop transient performance during the design stage. This paper presents a new method for CCD with guarantees on…

Systems and Control · Electrical Eng. & Systems 2023-10-19 Trevor J. Bird , Jacob A. Siefert , Herschel C. Pangborn , Neera Jain

Experimental design in field robotics is an adaptive human-in-the-loop decision-making process in which an experimenter learns about system performance and limitations through interactions with a robot in the form of constructed…

Robotics · Computer Science 2022-10-18 Jason M. Gregory , Sarah Al-Hussaini , Ali-akbar Agha-mohammadi , Satyandra K. Gupta

Cyber-physical production systems (CPPS) integrate physical and computational resources due to increasingly available sensors and processing power. This enables the usage of data, to create additional benefit, such as condition monitoring…

Computers and Society · Computer Science 2019-06-04 Andreas Bunte , Andreas Fischbach , Jan Strohschein , Thomas Bartz-Beielstein , Heide Faeskorn-Woyke , Oliver Niggemann

Robotics and automation have the potential to significantly improve quality of life for people with assistive needs and their carers. Adoption of such technologies at this point in time is far from widespread. This paper presents a novel…

Robotics · Computer Science 2021-08-03 Alexandre Colle , Ronnie Smith , Scott Macleod , Mauro Dragone