5639 search results - page 516 / 1128 » Timed Abstract Non-interference |
146
click to vote
KI
2007
Springer
15 years 11 months 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...
150
click to vote
KI
2007
Springer
15 years 11 months ago
2007
Springer
We propose a novel approach to experience collection for autonomous service robots performing complex activities. This approach enables robots to data for many learning problems at...
166
click to vote
PVM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. HeteroMPI is an extension of MPI designed for high performance computing on heterogeneous networks of computers. The recent new feature of HeteroMPI is the optimized vers...
132
click to vote
ROBOCUP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In the present article a framework for the robust detection of mobile robots using nested cascades of boosted classifiers is proposed. The boosted classifiers are trained...
159
click to vote
SACRYPT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. At DRM 2002, Chow et al. [4] presented a method for implementing the DES block cipher such that it becomes hard to extract the embedded secret key in a white-box attack c...