We describe the implementation of an interaction technique which allows users to store and retrieve information and computational functionality on different parts of their body. W...
Steven Strachan, Roderick Murray-Smith, Ian Oakley...
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...
Abstract. We develop three new techniques to build on the recent advances in online learning with kernels. First, we show that an exponential speed-up in prediction time per trial ...
In this paper, a non-linear relevance feedback mechanism is proposed for increasing the performance and the reliability of content-based retrieval systems. In particular, the huma...
Nikolaos D. Doulamis, Anastasios D. Doulamis, Stef...
Spatial indexes, such as the PMR quadtree, are important in spatial databases for efficient execution of queries involving spatial constraints, especially when the queries involv...