Results 81 to 90 of about 1,585,173 (321)
Learning Highly Dynamic Skills Transition for Quadruped Jumping Through Constrained Space
Advanced Robotics Research, EarlyView.A quadruped robot masters dynamic jumps through constrained spaces with animal‐inspired moves and intelligent vision control. This hierarchical learning approach combines imitation of biological agility with real‐time trajectory planning. Although legged animals are capable of performing explosive motions while traversing confined spaces, replicating ...
Zeren Luo +6 more
wiley +1 more source
Book review of Yoad Winter’s Elements of formal semantics (2016)
Glossa, 2016 Yoad Winter’s (2016) new textbook, Elements of formal semantics, is a formally sophisticated introduction to semantic theory. It treats standard beginner topics (e.g.
Jessica Rett
doaj +2 more sources
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
Argumentation semantics as formal discussion [PDF]
, 2017 In the current chapter, we interpret a number of mainstream argumentation semantics by means of structured discussion. The idea is that an argument is justified according to a particular argumentation semantics iff it is possible to win a discussion ...
Caminada, Martin
core +1 more source
Formal Model Engineering for Embedded Systems Using Real-Time Maude
, 2011 This paper motivates why Real-Time Maude should be well suited to provide a formal semantics and formal analysis capabilities to modeling languages for embedded systems.
A. Boronat +27 more
core +2 more sources
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
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
Reference in Formal Semantics and Natural Language: A Methodological Route
Phenomenology and Mind, 2019 In this paper, I will tackle the notion of reference of singular terms in the light of a classic analytic divide, i.e. whether its analysis, like the analysis of other basic notions, should be carried out in natural language or in the semantics of formal
Francesca Boccuni
doaj +1 more source
A Program Logic for Reasoning About C11 Programs With Release-Sequences
IEEE Access, 2020 With the popularity of weak/relaxed memory models widely used in modern hardware architectures, the C11 standard introduced a language level weak memory model, A.K.A the C11 memory model, that allows C/C++ programs to exploit the optimisation provided by
Mengda He, Shengchao Qin, Zhiwu Xu
doaj +1 more source