KOINEU Logo
3์ฐจ์› ๋ฌด์ธํ•ญ๊ณต๊ธฐ ๋ฐฉ์–ด๋ฅผ ์œ„ํ•œ ์ˆ˜ํ‰ ์ˆ˜์ง ๋„๋‹ฌ ํšŒํ”ผ ๊ฒŒ์ž„ ์ฐจ์›์ถ•์†Œ ํ”„๋ ˆ์ž„์›Œํฌ

3์ฐจ์› ๋ฌด์ธํ•ญ๊ณต๊ธฐ ๋ฐฉ์–ด๋ฅผ ์œ„ํ•œ ์ˆ˜ํ‰ ์ˆ˜์ง ๋„๋‹ฌ ํšŒํ”ผ ๊ฒŒ์ž„ ์ฐจ์›์ถ•์†Œ ํ”„๋ ˆ์ž„์›Œํฌ

Reach-avoid (RA) games have significant applications in security and defense, particularly for unmanned aerial vehicles (UAVs). These problems are inherently challenging due to the need to consider obstacles, consider the adversarial nature of opponents, ensure optimality, and account for nonlinear

A general formal memory framework in Coq for verifying the properties of   programs based on higher-order logic theorem proving with increased   automation, consistency, and reusability

A general formal memory framework in Coq for verifying the properties of programs based on higher-order logic theorem proving with increased automation, consistency, and reusability

In recent years, a number of lightweight programs have been deployed in critical domains, such as in smart contracts based on blockchain technology. Therefore, the security and reliability of such programs should be guaranteed by the most credible technology. Higher-order logic theorem proving is on

Framework Computer Science Programming Languages
An Internal Clock Based Space-time Neural Network for Motion Speed   Recognition

An Internal Clock Based Space-time Neural Network for Motion Speed Recognition

In this work we present a novel internal clock based space-time neural network for motion speed recognition. The developed system has a spike train encoder, a Spiking Neural Network (SNN) with internal clocking behaviors, a pattern transformation block and a Network Dynamic Dependent Plasticity (NDD

Electrical Engineering and Systems Science Computer Vision Neural Computing Image Processing Network Computer Science

< Category Statistics (Total: 4892) >

Economics
4
Electrical Engineering and Systems Science
11
General
3037
General Relativity
41
HEP-EX
6
HEP-LAT
4
HEP-PH
31
HEP-TH
37
MATH-PH
46
NUCL-EX
2
NUCL-TH
8
Quantum Physics
25

Start searching

Enter keywords to search articles

โ†‘โ†“
โ†ต
ESC
โŒ˜K Shortcut