2634 search results - page 73 / 527 » Faster Than Uppaal |
KES
2004
Springer
14 years 2 months ago
2004
Springer
This paper introduces a novel parallelised vision based intelligent controller for a Humanoid Robot system. This intelligent controller is simulated dynamically and its performance...
ASIACRYPT
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Khazad is a new block cipher initially proposed as a candidate to the NESSIE project. Its design is very similar to Rijndael, although it is a 64-bit block cipher. In thi...
GECCO
2003
Springer
14 years 2 months ago
2003
Springer
In this paper, we propose an integrated Genetic Algorithm with Hill Climbing to solve the matrix bandwidth minimization problem, which is to reduce bandwidth by permuting rows and ...
ICCSA
2003
Springer
14 years 2 months ago
2003
Springer
Numerical simulations of a spherical shock refraction have been successfully conducted by a front tracking method. We demonstrate the e ciency of the front tracking algorithm by co...
FCCM
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper describes the implementation of an automatic target recognition ATR Probing algorithm on a recon gurable system, using the SA-C programming language and optimizing co...