Titlebook: Recent Advances in Constraints; Joint ERCIM/CoLogNET Krzysztof R. Apt,François Fages,Josef Váncza Conference proceedings 2004 Springer-Verl

学术讨论会

Bmd955

Demulcent

胶水

Conference proceedings 2004i?cial intelligence. The tools and programming languages arising from this research ?eldhaveenjoyedrealsuccessintheindustrialworldastheycontributetosolving hard combinatorial problems in diverse domains such as production planning, communication networks, robotics and bioinformatics. This volume con

贿赂

下垂

Experimental Evaluation of Interchangeability in Soft CSPshe experiments show that there is high occurrence of .. and .. interchangeability around optimal solution in fuzzy CSPs and weighted CSPs. Thus, these algorithms can be used successfully in solution update applications. Moreover, it is also showed that . interchangeability can well approximate full interchangeability (.).

匍匐前进

Inveterate

Protein Folding in CLP(,) with Empirical Contact EnergiesWe present a declarative implementation in Constraint Logic Programming of the Protein Folding Problem, for models based on Face-Centered Cubes. Constraints are either used to encode the problem as a minimization problem or to prune the search space. In particular, we introduce constraints using secondary structure information.

BLANK

Krzysztof R. Apt,François Fages,Josef VánczaIncludes supplementary material:

妨碍