Results 81 to 90 of about 68,974 (308)
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
Precautionary Logic and Ignorance Interval Transfer Mediated Inference
A relatively formal framework for the description of application of the precautionary principle is described, which we consider to provide a basic setup for precautionary logic, that is reasoning patterns making use of said precautionary principle ...
Jan A. Bergstra
doaj +1 more source
A History of Probabilistic Inductive Logic Programming
The field of Probabilistic Logic Programming (PLP) has seen significant advances in the last 20 years, with many proposals for languages that combine probability with logic programming.
Fabrizio eRiguzzi +2 more
doaj +1 more source
Epistemic Probability Logic Simplified [PDF]
International audienceWe propose a simplified logic for reasoning about (multi-agent) epistemic probability models, and for epistemic probabilistic model checking.
van Eijck, Jan +3 more
core
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
Mitigation of Decoherence-Induced Quantum-Bit Errors and Quantum-Gate Errors Using Steane’s Code
Quantum processors require Quantum Error Correction Codes (QECC's) for improving the fidelity of quantum logic gates. Fault tolerant QECC's are capable of providing error rate improvements in quantum processors as long as the components are operating ...
Rosie Cane +3 more
doaj +1 more source
Probabilities on Sentences in an Expressive Logic
52 LaTeX pages, 64 definiton/theorems/etc, presented at conference Progic 2011 in New ...
Marcus Hutter +3 more
openaire +4 more sources
Conditions are being created for the further development of science, including the science of mathematics, in particular probability theory and Mathematical Statistics and mathematical logic, the wide involvement of talented and talented young people in scientific activities, the realization of their creative and intellectual potential.
Nematov Islom +2 more
openaire +2 more sources
Basic elements and problems of probability theory [PDF]
After a brief review of ontic and epistemic descriptions, and of subjective, logical and statistical interpretations of probability, we summarize the traditional axiomatization of calculus of probability in terms of Boolean algebras and its set ...
Primas, Hans, Hans Primas
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

