Zobrazeno 1 - 10
of 84
pro vyhledávání: '"Krinkin, Kirill"'
Autor:
Krinkin, Kirill, Shichkina, Yulia
This paper questions the feasibility of a strong (general) data-centric artificial intelligence (AI). The disadvantages of this type of intelligence are discussed. As an alternative, the concept of co-evolutionary hybrid intelligence is proposed. It
Externí odkaz:
http://arxiv.org/abs/2209.12623
Artificial intelligence is one of the drivers of modern technological development. The current approach to the development of intelligent systems is data-centric. It has several limitations: it is fundamentally impossible to collect data for modeling
Externí odkaz:
http://arxiv.org/abs/2112.04751
Publikováno v:
In Computers & Security June 2024 141
Autor:
Krinkin, Kirill, Filatov, Anton
Modern laser SLAM (simultaneous localization and mapping) and structure from motion algorithms face the problem of processing redundant data. Even if a sensor does not move, it still continues to capture scans that should be processed. This paper pre
Externí odkaz:
http://arxiv.org/abs/2105.12983
Publikováno v:
In Procedia Computer Science 2024 235:3153-3162
Publikováno v:
In Procedia Computer Science 2024 235:436-446
Autor:
Krinkin, Kirill, Dronnikov, Igor
Currently, tens of millions of devices around the world communicate with/ each other via cellular networks. In this paper, we study the stability of network content delivery protocols to the effects of network interference. To conduct the research, a
Externí odkaz:
http://arxiv.org/abs/2011.14847
In this paper, we describe our winning approach to solving the Lane Following Challenge at the AI Driving Olympics Competition through imitation learning on a mixed set of simulation and real-world data. AI Driving Olympics is a two-stage competition
Externí odkaz:
http://arxiv.org/abs/2007.03514
Autor:
Haberland, René, Krinkin, Kirill
Publikováno v:
3rd Int.Scientific Symposium Sense Enable (SPITSE2016)/Int. Academic Forum AMO-SPITSE-NESEFF, 2016, pp.103-104, RSCI 26444969, ISBN 978-5-91412-313-7
Dynamic memory issues are hard to locate and may cost much of a development project's efforts and was repeatedly reported similarly afterwards independently by different persons. Verification as one formal method may proof a given program's heap matc
Externí odkaz:
http://arxiv.org/abs/1906.11319
Publikováno v:
IEEE Xplore, 18th Conf. of Open Innovations (FRUCT), 2016, pp.66-74
Abstract predicates are considered in this paper as abstraction technique for heap-separated configurations, and as genuine Prolog predicates which are translated straight into a corresponding formal language grammar used as validation scheme for int
Externí odkaz:
http://arxiv.org/abs/1906.00217