Sciweavers

4266 search results - page 293 / 854
» The container loading problem
Sort
View
CP
2005
Springer
15 years 10 months ago
Towards the Systematic Generation of Channelling Constraints
Abstract. The automatic modelling tool Conjure generates CSP models from problem specifications. The generated models may contain multiple alternative (redundant) representations ...
Bernadette Martínez Hernández, Alan ...
PREMI
2005
Springer
15 years 10 months ago
A Rough Set-Based Magnetic Resonance Imaging Partial Volume Detection System
Abstract. Segmentation of magnetic resonance imaging (MRI) data entails assigning tissue class labels to voxels. The primary source of segmentation error is the partial volume eff...
Sebastian Widz, Kenneth Revett, Dominik Slezak
VSTTE
2005
Springer
15 years 10 months ago
Lessons from the JML Project
To have impact, a grand challenge should provide a way for diverse research to be integrated in a synergistic fashion. Synergy in the JML project comes from a shared specification...
Gary T. Leavens, Curtis Clifton
CDB
2004
Springer
169views Database» more  CDB 2004»
15 years 10 months ago
Semantic Optimization of Preference Queries
Preference queries are relational algebra or SQL queries that contain occurrences of the winnow operator (find the most preferred tuples in a given relation). We present here a nu...
Jan Chomicki
GECCO
2004
Springer
105views Optimization» more  GECCO 2004»
15 years 10 months ago
An Enhanced Genetic Algorithm for DNA Sequencing by Hybridization with Positive and Negative Errors
Abstract. This paper describes a genetic algorithm for the DNA sequencing problem. The algorithm allows the input spectrum to contain both positive and negative errors as could be ...
Thang Nguyen Bui, Waleed A. Youssef