2206 search results - page 198 / 442 » On the power of coercion abstraction |
171
click to vote
KI
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Prototype-based clustering algorithms such as the Self Organizing Map (SOM) or Neural Gas (NG) offer powerful tools for automated data inspection. The distribution of pr...
167
click to vote
KI
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We compare three systems for the task of synthesising functional recursive programs, namely Adate, an approach through evolutionary computation, the classification learn...
180
click to vote
KI
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The aim of this paper is to present a formal semantics inspired by the notion of Mental Imagery, largely researched in Cognitive Science and Experimental Psychology, that...
172
click to vote
PKC
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Direct anonymous attestation (DAA) is an anonymous authentication scheme adopted by the Trusted Computing Group in its specifications for trusted computing platforms. Th...
159
click to vote
RAID
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. In this work we present a NIDS cluster as a scalable solution for realizing high-performance, stateful network intrusion detection on commodity hardware. The design addre...