Sciweavers

501 search results - page 67 / 101
» Scheduling Abstractions for Local Search
Sort
View
CVBIA
2005
Springer
16 years 1 months ago
Registration of PET and MR Hand Volumes Using Bayesian Networks
Abstract. A method for the non-rigid, multi-modal, registration of volumetric scans of human hands is presented. PET and MR scans are aligned by optimising the configuration of a ...
Derek R. Magee, Steven Tanner, Michael Waller, Den...
231
Voted
ANTSW
2004
Springer
16 years 27 days ago
A Comparison Between ACO Algorithms for the Set Covering Problem
Abstract. In this paper we present a study of several Ant Colony Optimization (ACO) algorithms for the Set Covering Problem. In our computational study we emphasize the influence ...
Lucas Lessing, Irina Dumitrescu, Thomas Stütz...
GECCO
2004
Springer
16 years 26 days ago
Upper Bounds on the Time and Space Complexity of Optimizing Additively Separable Functions
Abstract. We present upper bounds on the time and space complexity of finding the global optimum of additively separable functions, a class of functions that has been studied exten...
Matthew J. Streeter
SAT
2004
Springer
111views Hardware» more  SAT 2004»
16 years 25 days ago
A Note on Satisfying Truth-Value Assignments of Boolean Formulas
Abstract. In this paper we define a class of truth-value assignments, called bounded assignments, using a certain substitutional property. We show that every satisfiable Boolean ...
Zbigniew Stachniak
DAGM
2003
Springer
16 years 22 days ago
IR Pedestrian Detection for Advanced Driver Assistance Systems
Abstract. This paper describes a system for pedestrian detection in infrared images implemented and tested on an experimental vehicle. A specific stabilization procedure is applie...
Massimo Bertozzi, Alberto Broggi, M. Carletti, Ale...