Sciweavers

55 search results - page 9 / 11
» Comparison of Symmetry Breaking Methods
Sort
View
AI
2006
Springer
13 years 7 months ago
Propagation algorithms for lexicographic ordering constraints
Finite-domain constraint programming has been used with great success to tackle a wide variety of combinatorial problems in industry and academia. To apply finite-domain constrain...
Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian...
JUCS
2007
118views more  JUCS 2007»
13 years 6 months ago
Satisfying Assignments of Random Boolean Constraint Satisfaction Problems: Clusters and Overlaps
: The distribution of overlaps of solutions of a random constraint satisfaction problem (CSP) is an indicator of the overall geometry of its solution space. For random k-SAT, nonri...
Gabriel Istrate
DICTA
2007
13 years 8 months ago
Ridge Enhancement in Fingerprint Images Using Oriented Diffusion
The extraction of “Level 2” detail — ridge terminations, ridge bifurcations, bridges etc. — from digitised images of fingerprints requires an accurate segmentation of the...
Robert O. Hastings
JCC
2008
117views more  JCC 2008»
13 years 7 months ago
FACTS: Fast analytical continuum treatment of solvation
: An efficient method for calculating the free energy of solvation of a (macro)molecule embedded in a continuum solvent is presented. It is based on the fully analytical evaluation...
Urs Haberthür, Amedeo Caflisch
MICCAI
2010
Springer
13 years 5 months ago
Spatial Decision Forests for MS Lesion Segmentation in Multi-Channel MR Images
Abstract. A new algorithm is presented for the automatic segmentation of Multiple Sclerosis (MS) lesions in 3D MR images. It builds on the discriminative random decision forest fra...
Ezequiel Geremia, Bjoern H. Menze, Olivier Clatz, ...