Abstract--The concept of enhanced maps (Emaps) was introduced with one main objective: It should characterize roads, first, with more completeness and, second, with more accuracy t...
Abstract. We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four ...
Theoretical research in the area of machine translation usually involves the search for and creation of an appropriate formalism. An important issue in this respect is the way in ...
Gertjan van Noord, Joke Dorrepaal, Doug Arnold, St...
In this paper we propose an attention-based vision system for the JAST interactive dialog robot. The robotic vision system incorporates three submodules: object recognition, gestu...
In this paper, we present a novel adaptive visualization technique where the constituting polygons dynamically change their geometry and other visual attributes depending on user ...