Results 61 to 70 of about 231,992 (188)
Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback
Advanced Robotics Research, EarlyView.BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat +4 more
wiley +1 more source
LSB - Live and Safe B: Alternative semantics for Event B [PDF]
, 2006 We define two lifted, total relation semantics for Event B machines: Safe B for safety-only properties and Live B for liveness properties. The usual Event B proof obligations, Safe, are sufficient to establish Safe B refinement.
Reeves, Steve, Streader, David
core +1 more source
Advanced Robotics Research, EarlyView.Visual teach‐and‐repeat (VTR) navigation allows robots to learn and follow routes without building a full metric map. We show that navigation accuracy for VTR can be improved by integrating a topological map with error‐drift correction based on stereo vision.
Fuhai Ling, Ze Huang, Tony J. Prescott
wiley +1 more source
Continual Learning for Multimodal Data Fusion of a Soft Gripper
Advanced Robotics Research, EarlyView.Models trained on a single data modality often struggle to generalize when exposed to a different modality. This work introduces a continual learning algorithm capable of incrementally learning different data modalities by leveraging both class‐incremental and domain‐incremental learning scenarios in an artificial environment where labeled data is ...
Nilay Kushawaha, Egidio Falotico
wiley +1 more source
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
Set-Theoretic Completeness for Epistemic and Conditional Logic
, 1999 The standard approach to logic in the literature in philosophy and mathematics, which has also been adopted in computer science, is to define a language (the syntax), an appropriate class of models together with an interpretation of formulas in the ...
Halpern, Joseph Y.
core +4 more sources
Advanced Science, EarlyView.Skeleton‐oriented object segmentation (SKOOTS) introduces a new strategy for 3D mitochondrial instance segmentation by predicting explicit skeletons rather than relying on boundary cues. This approach enables robust analysis of densely packed organelles in large FIB‐SEM datasets.
Christopher J. Buswinka +3 more
wiley +1 more source
Cognitive Trajectories from Preclinical Alzheimer's Disease to Dementia
Advanced Science, EarlyView.A continuous, multi‐domain characterization of cognitive decline across the Alzheimer's disease spectrum identifies when individual cognitive measures become abnormal. Episodic memory declines first, followed by executive function, language, processing speed, and visuospatial abilities, supporting improved clinical interpretation and optimized endpoint
Fredrik Öhman +3 more
wiley +1 more source
Decoding Naturalistic Episodic Memory with Artificial Intelligence and Brain‐Machine Interface
Advanced Science, EarlyView.Episodic memory weaves together what, where, and when of experience into a personal narrative. Cutting‐edge AI models may decode this intricate process in real‐life settings, revealing how neural activity encodes naturalistic memories. By merging AI with brain–machine interfaces, researchers are edging closer to mapping and even engineering memory ...
Dong Song
wiley +1 more source
Advanced Science, EarlyView.We propose the Full‐Body AI Agent, a multi‐scale collaborative framework with 7 biological‐layer agents. It unifies multi‐omics/clinical data via standardized protocols, enabling phenotype‐guided closed‐loop reasoning, quantitative evaluation, and LLM safeguards, with promising applications in tumor metastasis modeling and precision drug development ...
Aoqi Wang +11 more
wiley +1 more source