The study of 2D shapes and their similarities is a central problem in the field of vision. It arises in particular from the task of classifying and recognizing objects from their ...
In this paper, we present an automated system for generating context-preserving route maps that depict navigation routes as a path between nodes and edges inside a topographic net...
We present a new approach to the modeling and deformation of a human or virtual character’s arms and legs. Each limb is represented as a set of ellipsoids of varying size interp...
Dae-Eun Hyun, Seung-Hyun Yoon, Myung-Soo Kim, Bert...
Recent and future parallel clusters and supercomputers use SMPs and multi-core processors as basic nodes, providing a huge amount of parallel resources. These systems often have h...
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...