: In this article, we propose an efficient and effective method for finding arbitrarily oriented subspace clusters by mapping the data space to a parameter space defining the set o...
This paper provides a brief overview of an implicit training method used for teaching autonomous agents to represent humans in 3D Virtual Worlds without any explicit training effo...
Anton Bogdanovych, Marc Esteva, Simeon J. Simoff, ...
In this paper, we give an overview on some algorithms for learning automata. Starting with Biermann's and Angluin's algorithms, we describe some of the extensions caterin...
This paper presents an analysis of ELIMINO, a computer-mathematics research system that has been developed at the Chinese Academy of Sciences. Also presented are ideas to improve ...
This paper describes cdiprover3 a tool for proving termination of term rewrite systems by polynomial interpretations and context dependent interpretations. The methods used by cdip...