Sciweavers

1256 search results - page 109 / 252
» Experiences with the DEVStone benchmark
Sort
View
ECAI
2010
Springer
15 years 7 months ago
ISAC - Instance-Specific Algorithm Configuration
We present a new method for instance-specific algorithm configuration (ISAC). It is based on the integration of the algorithm configuration system GGA and the recently proposed sto...
Serdar Kadioglu, Yuri Malitsky, Meinolf Sellmann, ...
ECCV
2010
Springer
15 years 6 months ago
Image Classification Using Super-Vector Coding of Local Image Descriptors
Abstract. This paper introduces a new framework for image classification using local visual descriptors. The pipeline first performs a nonlinear feature transformation on descripto...
Xi Zhou, Kai Yu, Tong Zhang, Thomas S. Huang
CORR
2010
Springer
85views Education» more  CORR 2010»
15 years 6 months ago
A control-theoretical methodology for the scheduling problem
This paper presents a novel methodology to develop scheduling algorithms. The scheduling problem is phrased as a control problem, and control-theoretical techniques are used to de...
Carlo A. Furia, Alberto Leva, Martina Maggio, Paol...
DISOPT
2008
88views more  DISOPT 2008»
15 years 6 months ago
New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability
The paper is concerned with the computational evaluation and comparison of a new family of conflict-based branching heuristics for evolved DPLL Satisfiability solvers. Such a fami...
Renato Bruni, Andrea Santori
ENDM
2010
126views more  ENDM 2010»
15 years 6 months ago
A 0/1 Integer Programming Model for the Office Space Allocation Problem
We propose a 0/1 integer programming model to tackle the office space allocation (OSA) problem which refers to assigning room space to a set of entities (people, machines, roles, ...
Özgür Ülker, Dario Landa-Silva