Sciweavers

8486 search results - page 1323 / 1698
» Ordered Enumeration Method
Sort
View
CPAIOR
2005
Springer
16 years 10 days ago
Computing Explanations for the Unary Resource Constraint
Integration of explanations into a CSP solver is a technique addressing difficult question “why my problem has no solution”. Moreover, explanations together with advanced searc...
Petr Vilím
DAGM
2005
Springer
16 years 10 days ago
Regularization on Discrete Spaces
Abstract. We consider the classification problem on a finite set of objects. Some of them are labeled, and the task is to predict the labels of the remaining unlabeled ones. Such...
Dengyong Zhou, Bernhard Schölkopf
DAGM
2005
Springer
16 years 10 days ago
3D Surface Reconstruction by Combination of Photopolarimetry and Depth from Defocus
Abstract. In this paper we present a novel image-based 3D surface reconstruction technique that incorporates reflectance, polarisation, and defocus information into a variational ...
Pablo d'Angelo, Christian Wöhler
ECOOP
2005
Springer
16 years 10 days ago
Static Deadlock Detection for Java Libraries
Library writers wish to provide a guarantee not only that each procedure in the library performs correctly in isolation, but also that the procedures perform correctly when run in ...
Amy Williams, William Thies, Michael D. Ernst
EMO
2005
Springer
194views Optimization» more  EMO 2005»
16 years 10 days ago
An EMO Algorithm Using the Hypervolume Measure as Selection Criterion
Abstract. The hypervolume measure is one of the most frequently applied measures for comparing the results of evolutionary multiobjective optimization algorithms (EMOA). The idea t...
Michael Emmerich, Nicola Beume, Boris Naujoks
« Prev « First page 1323 / 1698 Last » Next »