`約束程序設(shè)計(jì)原理與實(shí)踐/Principles and practice

出版時(shí)間:2006-12  出版社:湖南文藝出版社  作者:Benhamou, Fridiric; Benhamou, Fr D. Ric; Benhamou, Frederic  頁(yè)數(shù):774  
Tag標(biāo)簽:無  

內(nèi)容概要

The LNCS series reports state-of-the-art results in computer science research,development,and education,at a high level and in both printed and electronic  form.Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNCS has grown into the most comprehensive computer science resarch forum available.    The scope of LNCS,including its subseries LNAI,spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material publised traditionally includes.    -proceedings(published in time for the respective conference)    -post-proceedings(consisting of thoroughly revised final full papers)    -research monographs(which may be basde on outstanding PhD work,research projects,technical reports,etc.).

書籍目錄

Invited Papers Global Optimization of Probabilistically Constrained Linear Programs Algorithms and Constraint Programming Interval Analysis and Robotics Constraint Based Resilience AnalysisRegular Papers Infinite Qualitative Simulations by Means of Constraint Programming Algorithms for Stochastic CSPs Graph Properties Based Filtering The ROOTS Constraint Co Java: Optimization Modeling by Nondeterministic Simulation An Algebraic Characterisation of Complexity for Valued Constraints Typed Guarded Decompositions for Constraint Satisfaction The Minimum Spanning Tree Constraint Impact of Censored Sampling on the Performance of Restart Strategies Watched Literals for Constraint Propagation in Minion Inner and Outer Approximations of Existentially Quantified Equality Constraints Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms Adaptive Clause Weight Redistribution Localization of an Underwater Robot Using Interval Constraint Propagation Approximability of Integer Programming with Generalised Constraints When Constraint Programming and Local Search Solve the Scheduling Problem of Electricite de  France Nuclear Power Plant Outages Generalized Arc Consistency for Positive Table Constraints ……Poster Papers Author Index

圖書封面

圖書標(biāo)簽Tags

評(píng)論、評(píng)分、閱讀與下載


    `約束程序設(shè)計(jì)原理與實(shí)踐/Principles and practice PDF格式下載


用戶評(píng)論 (總計(jì)0條)

 
 

 

250萬本中文圖書簡(jiǎn)介、評(píng)論、評(píng)分,PDF格式免費(fèi)下載。 第一圖書網(wǎng) 手機(jī)版

京ICP備13047387號(hào)-7