The Grid is the computing and data management infrastructure, which is transforming science, business, health and society. This paper deals with a challenging task addressing know...
This paper focuses on a novel framework for information retrieval of images based only on color information. Regions homogeneous in color of the input image are detected using a m...
Abstract. This paper presents a resolution decision procedure for transitive propositional modal logics. The procedure combines the relational translation method with an ordered ch...
Harald Ganzinger, Ullrich Hustadt, Christoph Meyer...
In this paper, we describe a computational system that generates story analogues based on previous stories. Unlike many previous works on story generation that attempt to produce ...
: We present techniques for computing 3D velocity fields from range data acquired with cameras working on the principles of modulation based Time-Of-Flight measurement. We derive a...