Abstract: This letter presents a novel method for environmental exploration that takes safety into account in unknown areas by using recursive Gaussian process regression (RGPR). Safety in unknown ...
Abstract: This paper presents a novel adaptive moving window forgetting factor method specifically designed for the decoupled recursive least squares approach applied to the second-order equivalent ...
Gödel's Poetry is an advanced automated theorem proving system that combines Large Language Models (LLMs) with formal verification in Lean 4. The system takes mathematical theorems—either in informal ...
This study introduces a small apple pre-thinning dataset designed to support the development of intelligent thinning systems by providing reliable data for small apple detection. The dataset comprises ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results