中文
相关论文

相关论文: ROSS User's Guide and Reference Manual (Version 1.…

200 篇论文

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…

人工智能 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

计算与语言 · 计算机科学 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…

机器人学 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

软件工程 · 计算机科学 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…

人工智能 · 计算机科学 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…

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,…

机器人学 · 计算机科学 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…

软件工程 · 计算机科学 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…

机器人学 · 计算机科学 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…

机器人学 · 计算机科学 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…

机器人学 · 计算机科学 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…

机器人学 · 计算机科学 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…

计算与语言 · 计算机科学 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…

机器人学 · 计算机科学 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…

编程语言 · 计算机科学 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…

机器人学 · 计算机科学 2022-11-16 Steve Macenski , Tully Foote , Brian Gerkey , Chris Lalancette , William Woodall
‹ 上一页 1 2 3 10 下一页 ›