: We present new valid inequalities for 0-1 programming problems that work in similar ways to well known cover inequalities. Discussion and analysis of these cuts is followed by th...
In this paper we present the digital library assistant (DiLiA). The system aims at augmenting the search in digital libraries in several dimensions. In the project advanced informa...
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled sess...
Abstract. In this paper we present a novel approach to combining multiple kernels where the kernels are computed from different information channels. In contrast to traditional me...
Fei Yan, Krystian Mikolajczyk, Josef Kittler, Muha...
We propose a method to predict a user’s favourite locations in a city, based on his Flickr geotags in other cities. We define a similarity between the geotag distributions of t...
Maarten Clements, Pavel Serdyukov, Arjen P. de Vri...