Results 61 to 70 of about 10,814 (309)
Multimodal Human–Robot Interaction Using Human Pose Estimation and Local Large Language Models
A multimodal human–robot interaction framework integrates human pose estimation (HPE) and a large language model (LLM) for gesture‐ and voice‐based robot control. Speech‐to‐text (STT) enables voice command interpretation, while a safety‐aware arbitration mechanism prioritizes gesture input for rapid intervention.
Nasiru Aboki +2 more
wiley +1 more source
Russian Language in the Global Linguocultural Space
As the planetary civilization enters a qualitatively new era, the dialectical contradiction inevitably grows: national-cultural - globally universal. Obviously, in its resolution, not the last place belongs to the languages of the peoples of the world ...
Vladimir G. Egorov
doaj +1 more source
A Tableau Prover for Natural Logic and Language [PDF]
Modeling the entailment relation over sentences is one of the generic problems of natural language understanding. In order to account for this problem, we design a theorem prover for Natural Logic, a logic whose terms resemble natural language expressions.
openaire +2 more sources
Towards Portable Natural Language Interfaces to Knowledge Bases - The Case of the ORAKEL System -
Cimiano P, Haase P, Heizmann J, Mantel M, Studer R. Towards Portable Natural Language Interfaces to Knowledge Bases - The Case of the ORAKEL System -. Data & Knowledge Engineering (DKE).
Haase, Peter +4 more
core +1 more source
LLM‐Integrated Human–Robot Interaction System for Microrobots
This paper proposes an LLM‐based control framework for guiding microrobots using human natural language. This framework can convert the natural human speech into safe and executable command sets for reliable navigation in complex environments. The experimental results show high accuracy and robustness in task performance, demonstrating the potential of
Bairong Zhu, Amar Salehi, Tingting Yu
wiley +1 more source
A New Language for the Visualization of Logic and reasoning [PDF]
Many visual languages based on Euler diagrams have emerged for expressing relationships between sets. The expressive power of these languages varies, but the majority can only express statements involving unary relations and, sometimes, equality.
Howse, John +4 more
core
DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano +3 more
wiley +1 more source
Logical pluralism and linguistic relativism:
This paper aims to connect two debates about the relation among language, reasoning and thought that belong to different theoretical and disciplinary fields, but that are closely linked.
Jorge Alejandro Santos +2 more
doaj +1 more source
This review maps the methods to monitor robots’ health by fusing vibration, sound, control signals, vision, force, and oil information with artificial intelligence. It identifies deep learning, transfer learning, digital twins, and physics‐informed models as key methodological pathways enabling earlier diagnosis, safer human–robot collaboration, and ...
Yuting Qiao +6 more
wiley +1 more source
Logic program specialisation through partial deduction: Control Issues
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programming, known respectively as partial evaluation and partial deduction, is to ...
Bruynooghe, Maurice, Leuschel, Michael
core +1 more source

