4835 search results - page 498 / 967 » Intelligent Selection Tools |
155
Voted
KI
2007
Springer
16 years 1 months ago
2007
Springer
A EU-funded project GeoPKDD develops methods and tools for analysis of massive collections of movement data, which describe changes of spatial positions of discrete entities. Withi...
155
Voted
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself...
204
click to vote
ICRA
2005
IEEE
16 years 14 days ago
2005
IEEE
— This paper presents an approach to deal with standard tasks of computer animations and robotics based on Conformal Geometric Algebra. We will show that this algebra is very wel...
193
click to vote
ASP
2005
Springer
16 years 12 days ago
2005
Springer
This paper discusses the background, algorithms and implementation techniques to support programmers in ‘debugging’ logic programs under the answer set semantics. We first inv...
172
click to vote
EPIA
2005
Springer
16 years 12 days ago
2005
Springer
Self-organizing maps (SOM) have been recognized as a powerful tool in data exploratoration, especially for the tasks of clustering on high dimensional data. However, clustering on ...