Results 71 to 80 of about 1,189,261 (324)
Scalable Task Planning via Large Language Models and Structured World Representations
Advanced Robotics Research, EarlyView.This work efficiently combines graph‐based world representations with the commonsense knowledge in Large Language Models to enhance planning techniques for the large‐scale environments that modern robots will need to face. Planning methods often struggle with computational intractability when solving task‐level problems in large‐scale environments ...
Rodrigo Pérez‐Dattari +4 more
wiley +1 more source
Frontiers in ImagingIntroductionHomomorphic encryption (HE) enables privacy-preserving face recognition by allowing encrypted facial embeddings to be compared without decryption.
Amina Bassit +9 more
doaj +1 more source
Frontiers in Computational Neuroscience, 2018 Long-term potentiation (LTP) is a specific form of activity-dependent synaptic plasticity that is a leading mechanism of learning and memory in mammals. The properties of cooperativity, input specificity, and associativity are essential for LTP; however,
Lijie Hao, Zhuoqin Yang, Jinzhi Lei
doaj +1 more source
Semantics Through Pictures: towards a diagrammatic semantics for object-oriented modelling notations [PDF]
, 1997 An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots.
Civello, Franco +4 more
core +1 more source
Semantics of higher inductive types
, 2019 Higher inductive types are a class of type-forming rules, introduced to provide basic (and not-so-basic) homotopy-theoretic constructions in a type-theoretic style.
Lumsdaine, Peter LeFanu, Shulman, Mike
core +1 more source
Flexible Sensor‐Based Human–Machine Interfaces with AI Integration for Medical Robotics
Advanced Robotics Research, EarlyView.This review explores how flexible sensing technology and artificial intelligence (AI) significantly enhance human–machine interfaces in medical robotics. It highlights key sensing mechanisms, AI‐driven advancements, and applications in prosthetics, exoskeletons, and surgical robotics.
Yuxiao Wang +5 more
wiley +1 more source
MathematicsMultisource and multimodal data fusion plays a pivotal role in large-scale artificial intelligence applications involving big data. However, the choice of fusion strategies for different scenarios is often based on experimental comparisons, which leads ...
Ziqi Liu +4 more
doaj +1 more source
Topological Semantics and Decidability [PDF]
, 2007 It is well-known that the basic modal logic of all topological spaces is $S4$. However, the structure of basic modal and hybrid logics of classes of spaces satisfying various separation axioms was until present unclear. We prove that modal logics of $T_0$
Sustretov, Dmitry
core +6 more sources
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
The semantics of ellipsis [PDF]
, 2008 There are four phenomena that are particularly troublesome for theories of ellipsis: the existence of sloppy readings when the relevant pronouns cannot possibly be bound; an ellipsis being resolved in such a way that an ellipsis site in the antecedent is
Elbourne, Paul
core