Sciweavers

4526 search results - page 131 / 906
» An overview of clustering methods
Sort
View
SADM
2008
165views more  SADM 2008»
13 years 8 months ago
Global Correlation Clustering Based on the Hough Transform
: 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...
Elke Achtert, Christian Böhm, Jörn David...
IVA
2007
Springer
14 years 3 months ago
Implicit Training of Virtual Agents
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, ...
FMCO
2006
Springer
107views Formal Methods» more  FMCO 2006»
14 years 17 days ago
Learning Meets Verification
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...
Martin Leucker
CSC
2006
13 years 10 months ago
Analysis of the Computer-Mathematics Research System ELIMINO
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 ...
Iyad A. Ajwa
ESSLLI
2009
Springer
13 years 6 months ago
Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting Systems
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...
Andreas Schnabl