Sciweavers

4524 search results - page 14 / 905
» The Complexity of Global Constraints
Sort
View
106
Voted
CP
2005
Springer
15 years 6 months ago
Applying Constraint Programming to Rigid Body Protein Docking
In this paper we show how Constraint Programming (CP) techniques can improve the efficiency and applicability of grid-based algorithms for optimising surface contact between comple...
Ludwig Krippahl, Pedro Barahona
86
Voted
CONSTRAINTS
2007
92views more  CONSTRAINTS 2007»
15 years 11 days ago
Global Constraint Catalogue: Past, Present and Future
Abstract. The catalogue of global constraints is reviewed, focusing on the graph-based description of global constraints. A number of possible enhancements are proposed as well as ...
Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey...
107
Voted
CONSTRAINTS
2007
97views more  CONSTRAINTS 2007»
15 years 11 days ago
Models for Global Constraint Applications
In this paper we give an overview of some industrial applications built using global constraints. We look at three systems from different application domains and show the core mo...
Helmut Simonis
ICDM
2008
IEEE
156views Data Mining» more  ICDM 2008»
15 years 6 months ago
Exploiting Local and Global Invariants for the Management of Large Scale Information Systems
This paper presents a data oriented approach to modeling the complex computing systems, in which an ensemble of correlation models are discovered to represent the system status. I...
Haifeng Chen, Haibin Cheng, Guofei Jiang, Kenji Yo...
120
Voted
CP
2009
Springer
15 years 3 months ago
Constraint-Based Local Search for the Automatic Generation of Architectural Tests
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
Pascal Van Hentenryck, Carleton Coffrin, Boris Gut...