Abstract. This paper describes the first attempt to introduce evolutionarily designed players into the international Robocode league, a simulationbased game wherein robotic tanks ...
Abstract. Gaussian processes have been favourably compared to backpropagation neural networks as a tool for regression. We show that a recurrent neural network can implement exact ...
: Threats for today’s production networks range from fully automated worms and viruses to targeted, highly sophisticated multi-phase attacks carried out manually. In order to pro...
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
Abstract. This paper presents a prototype of a client system for Realistic Broadcasting that can receive and process immersive media. It provides a viewer which supports stereoscop...
Jongeun Cha, Seung Man Kim, Sung-Yeol Kim, Sehwan ...