Abstract—In this paper, we present the humanoid communication robot Fritz. Our robot communicates with people in an intuitive, multimodal way. Fritz uses speech, facial expressio...
Maren Bennewitz, Felix Faber, Dominik Joho, Sven B...
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
Digital audio and video have recently taken a center stage in the communication world, which highlights the importance of digital media information management and indexing. It is ...
Lin Lin, Guy Ravitz, Mei-Ling Shyu, Shu-Ching Chen
Two-dimensional cellular automata (CA) systems are widely used for modeling spatio-temporal dynamics of evolving populations. Conversely, the logistic equation is a 1-D model descr...
It is difficult to define a set of rules for a cellular automaton (CA) such that creatures with life-like properties (stability and dynamic behaviour, reproducton and self-repai...