Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
This paper presents a novel approach to pedestrian classification which involves utilizing the synthesized virtual samples of a learned generative model to enhance the classificat...
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
Abstract. Existing legged robots lack energy-efficiency, performance and adaptivity when confronted with situations that animals cope with on a routine basis. Bridging the gap bet...
Katayon Radkhah, Stefan Kurowski, Thomas Lens, Osk...