Results 111 to 120 of about 41,655,511 (287)
Multimodal Human–Robot Interaction Using Human Pose Estimation and Local Large Language Models
Advanced Robotics Research, EarlyView.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
Operational semantics for SPARQL Update
, 2012 Concurrent fine grained updates are essential for using RDF stores in dynamic modern Web applications, where users increasingly contribute content as often as they read content. SPARQL Update is a language proposed by the W3C for fine grained updates for
Gibbins, Nicholas +2 more
core
Mereological Ontology and Dynamic Semantics
Annals of the Japan Association for Philosophy of Science, 1999 A theory that can represent meanings of expressions including plurals and mass terms is defined. This theory (`Natural Representation Theory') is an extension of a system `extensional mereology with sortal individuation'. The underlying ontology is of Leśniewski kind based on the notions of thing, material and sortal predicates.
openaire +2 more sources
LLM‐Integrated Human–Robot Interaction System for Microrobots
Advanced Robotics Research, EarlyView.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 Unified Approach to Hardy-Type Integral Inequalities for Bivariate Functions on Time Scales
AxiomsThis paper establishes several new bivariate Hardy-type dynamic integral inequalities on arbitrary time scales. By utilizing delta integration, properties of rd-continuous functions, and kernel estimates, we provide a unified framework that extends ...
Khaled Aldwoah +4 more
doaj +1 more source
Mutual Adaptation and Influence: Review of Latent Dynamics Models in Human–Robot Interaction
Advanced Robotics Research, EarlyView.Robots are becoming better teammates by learning hidden patterns in how people act. This review covers how state‐of‐the‐art approaches leverage these patterns to help robots not only react but also anticipate and guide cooperation. Here, we synthesize a unifying framework for these approaches, classify and review existing works, and highlight key ...
Mason O. Smith +4 more
wiley +1 more source
Advanced Robotics Research, EarlyView.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
Learning‐Based Soft Robotic Grasping: Recent Progress and Remaining Challenges
Advanced Robotics Research, EarlyView.This review analyzes learning‐based soft robotic grasping from a pipeline‐oriented perspective, encompassing soft gripper design, multimodal sensing, and learning‐based planning and control. It surveys key neural network architectures and benchmark datasets and identifies critical challenges such as sim‐to‐real transfer, generalization, and continual ...
Arnab Majumder +3 more
wiley +1 more source
BuildingsThis study investigates the influence of tunnel span on the dynamic response of rock masses with high integrity under intense dynamic load, analyzing an unlined circular tunnel excavated in intact surrounding rock with a uniaxial compressive strength of ...
Zihan Zhang +3 more
doaj +1 more source
Semantic verification of dynamic programming.
CoRR, 2020 We prove that the generic framework for specifying and solving finite-horizon, monadic sequential decision problems proposed in (Botta et al.,2017) is semantically correct. By semantically correct we mean that, for a problem specification $P$ and for any initial state $x$ compatible with $P$, the verified optimal policies obtained with the framework ...
Brede, Nuria, Botta, Nicola
openaire +1 more source