Sciweavers

7296 search results - page 276 / 1460
» informs 2010
Sort
View
EOR
2010
140views more  EOR 2010»
15 years 4 months ago
Cutting plane algorithms for 0-1 programming based on cardinality cuts
: 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...
Osman Oguz
ERCIMDL
2010
Springer
151views Education» more  ERCIMDL 2010»
15 years 7 months ago
DiLiA - The Digital Library Assistant
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...
Kathrin Eichler, Holmer Hemsen, Günter Neuman...
ENTCS
2010
133views more  ENTCS 2010»
15 years 1 months ago
Inference of Session Types From Control Flow
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...
Peter Collingbourne, Paul H. J. Kelly
MCS
2010
Springer
16 years 1 months ago
Combining Multiple Kernels by Augmenting the Kernel Matrix
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...
108
Voted
SIGIR
2010
ACM
15 years 10 months ago
Using flickr geotags to predict user travel behaviour
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...