3255 search results - page 115 / 651 » Combination of Abstractions in the ASTR |
LOPSTR
2004
Springer
14 years 3 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
ROBOCUP
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper describes a behavior-based architecture which integrates existing potential field approaches concerning motion planning as well as the evaluation and selectio...
ROBOCUP
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We investigate the application of a Monte Carlo localization filter to the problem of combining local and global observations of a small, off-the-shelf quadruped domest...
RSCTC
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We introduce an automated multi-spectral MRI segmentation technique based on approximate reducts derived from the data mining paradigm of the theory of rough sets. We uti...
SACRYPT
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Synchronous stream ciphers need perfect synchronization between sender and receiver. In practice, this is ensured by a resync mechanism. Daemen et al. [10] first describ...