English
Related papers

Related papers: ROSS User's Guide and Reference Manual (Version 1.…

200 papers

ROSS ("Representation, Ontology, Structure, Star") is introduced as a new method for knowledge representation that emphasizes representational constructs for physical structure. The ROSS representational scheme includes a language called…

Artificial Intelligence · Computer Science 2014-11-18 Glenn R. Hofford

The advancement of robotic systems has revolutionized numerous industries, yet their operation often demands specialized technical knowledge, limiting accessibility for non-expert users. This paper introduces ROSA (Robot Operating System…

Reaction Systems (RSs) are a successful computational framework inspired by biological systems. A RS pairs a set of entities with a set of reactions over them. Entities can be used to enable or inhibit each reaction, and are produced by…

Logic in Computer Science · Computer Science 2020-09-01 Linda Brodo , Roberto Bruni , Moreno Falaschi

A new natural language understanding method for disambiguation of difficult pronouns is described. Difficult pronouns are those pronouns for which a level of world or domain knowledge is needed in order to perform anaphoral or other types…

Computation and Language · Computer Science 2014-11-18 Glenn R. Hofford

Autonomous robots require change-robust spatial-semantic reasoning: using spatial and semantic knowledge to decide where to go, how to get there, and where the robot is despite environmental change. Existing approaches typically attach…

Robotics · Computer Science 2026-05-05 Jiaming Wang , Jizhuo Chen , Diwen Liu , Atharva Ghotavadekar , Jiaxuan Da , Linh Kästner , Harold Soh

This paper introduces reconstructive visual instruction tuning (ROSS), a family of Large Multimodal Models (LMMs) that exploit vision-centric supervision signals. In contrast to conventional visual instruction tuning approaches that…

Computer Vision and Pattern Recognition · Computer Science 2025-01-03 Haochen Wang , Anlin Zheng , Yucheng Zhao , Tiancai Wang , Zheng Ge , Xiangyu Zhang , Zhaoxiang Zhang

This tool paper presents the High-Assurance ROS (HAROS) framework. HAROS is a framework for the analysis and quality improvement of robotics software developed using the popular Robot Operating System (ROS). It builds on a static analysis…

Software Engineering · Computer Science 2021-03-03 André Santos , Alcino Cunha , Nuno Macedo

Decision support is a probabilistic and quantitative method designed for modeling problems in situations with ambiguity. Computer technology can be employed to provide clinical decision support and treatment recommendations. The problem of…

Artificial Intelligence · Computer Science 2018-12-06 Ying Shen , Joël Colloc , Armelle Jacquet-Andrieu , Ziyi Guo , Yong Liu

Autonomous robots must operate in diverse environments and handle multiple tasks despite uncertainties. This creates challenges in designing software architectures and task decision-making algorithms, as different contexts may require…

Artificial Intelligence · Computer Science 2025-05-05 Gustavo Rezende Silva , Juliane Päßler , S. Lizeth Tapia Tarifa , Einar Broch Johnsen , Carlos Hernández Corbato

We present a framework for intuitive robot programming by non-experts, leveraging natural language prompts and contextual information from the Robot Operating System (ROS). Our system integrates large language models (LLMs), enabling…

Personal service robots are increasingly used in domestic settings to assist older adults and people requiring support. Effective operation involves not only physical interaction but also the ability to interpret dynamic environments,…

Robotics · Computer Science 2025-09-29 Margherita Martorana , Francesca Urgese , Ilaria Tiddi , Stefan Schlobach

In this work we present the first version of ROSA Analyser, a tool designed to get closer to a fully automatic process of analysing the behaviour of a system specified as a process of the Markovian Process Algebra ROSA. In this first…

Software Engineering · Computer Science 2012-07-12 Raúl Pardo , Fernando L. Pelayo

As the robotics systems increasingly integrate into daily life, from smart home assistants to the new-wave of industrial automation systems (Industry 4.0), there's an increasing need to bridge the gap between complex robotic systems and…

Robotics · Computer Science 2025-07-11 Kavindie Katuwandeniya , Samith Rajapaksha Jayasekara Widhanapathirana

Deploying robots in human-shared spaces requires understanding interactions among nearby agents and objects. Modelling cause-and-effect relations through causal inference aids in predicting human behaviours and anticipating robot…

Robotics · Computer Science 2024-03-22 Luca Castri , Gloria Beraldo , Sariah Mghames , Marc Hanheide , Nicola Bellotto

Collaborative robots are becoming part of intelligent automation systems in modern industry. Development and control of such systems differs from traditional automation methods and consequently leads to new challenges. Thankfully, Robot…

Robotics · Computer Science 2019-05-24 Endre Erős , Martin Dahl , Kristofer Bengtsson , Atieh Hanna , Petter Falkman

This paper presents a novel ontology-driven software engineering approach for the development of industrial robotics control software. It introduces the ReApp architecture that synthesizes model-driven engineering with semantic technologies…

Robotics · Computer Science 2016-01-18 Stefan Zander , Georg Heppner , Georg Neugschwandtner , Ramez Awad , Marc Essinger , Nadia Ahmed

A comprehensive model of natural language processing in the brain must accommodate four components: representations, operations, structures and encoding. It further requires a principled account of how these components mechanistically, and…

Computation and Language · Computer Science 2023-03-17 Elliot Murphy

Developing socially competent robots requires tight integration of robotics, computer vision, speech processing, and web technologies. We present the Socially-interactive Robot Software platform (SROS), an open-source framework addressing…

Robotics · Computer Science 2023-11-28 Mahta Akhyani , Hadi Moradi

Robotics is incredibly fun and is long recognized as a great way to teach programming, while drawing inspiring connections to other branches of engineering and science such as maths, physics or electronics. Although this symbiotic…

Programming Languages · Computer Science 2019-11-11 Hugo Pacheco , Nuno Macedo

The next chapter of the robotics revolution is well underway with the deployment of robots for a broad range of commercial use-cases. Even in a myriad of applications and environments, there exists a common vocabulary of components that…

Robotics · Computer Science 2022-11-16 Steve Macenski , Tully Foote , Brian Gerkey , Chris Lalancette , William Woodall
‹ Prev 1 2 3 10 Next ›