Results 41 to 50 of about 2,540,801 (303)
In recent years, many industrialfacilities have been required to install sensing system to monitor the health status of the equipment. Although the PC-based diagnosis system is a good alternative, it undoubtedly increases the hardware cost greatly, and ...
Chao-Chung Peng
doaj +1 more source
Learning algorithm for the recursive pattern recognition model
In this work, we incorporate a learning algorithm to the recursive pattern recognition model, based on the systematic functioning of the human neocortex presented in previous works.
Puerto Cuadros, Eduard Gilberto +1 more
core +1 more source
Mutual Adaptation and Influence: Review of Latent Dynamics Models in Human–Robot Interaction
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
A Recursive Hybrid Algorithm for Non-Linear System Identification Using Radial Basis Function Networks [PDF]
Recursive identification of non-linear systems is investigated using radial basis function networks. A novel approach is adopted which employs a hybrid clustering and least squares algorithm.
Billings, S.A., Grant, P.M., Chen, S.
core +3 more sources
Recursive Program Optimization Through Inductive Synthesis Proof Transformation [PDF]
The research described in this paper involved developing transformation techniques which increase the efficiency of the noriginal program, the source, by transforming its synthesis proof into one, the target, which yields a computationally more efficient
Bundy, Alan +3 more
core +1 more source
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
Algorithmic complexity of recursive and inductive algorithms
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
A recursive algorithm for optimizing differentiation
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ali Mashreghi, Hadi Sadoghi Yazdi
openaire +3 more sources
Information data protection is necessary to ward off and overcome various fraud attacks that may be encountered. A secret sharing scheme that implements cryptographic methods intends to maintain the security of confidential data by a group of trusted ...
Rafika Husnia Munfa'ati +2 more
doaj +1 more source
Combinational Equivalence Checking Using Satisfiability and Recursive Learning
The problem of checking the equivalence of combinational circuits is of key significance in the verification of digital circuits. In recent years, several approaches have been proposed for solving this problem.
Thomas Glass +3 more
core +1 more source

