In this article, a human centered approach for interactive face generation is presented. The users of the system are given the possibility to interactively generate faces from verb...
This paper describes a simple and "pre-cortical" visual attention model, which does not take image directions into account. We compute rarity-based saliency maps and the...
Abstract. In the pattern recognition context, objects can be represented as graphs with attributed nodes and edges involving their relations. Consequently, matching attributed grap...
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...