檢索結果 - enumerating constrained programming programming analysis a*

搜索替代詞:
enumerating constrained » answering constrained , cooperations constrained
constrained programming » constraint programming
programming programming » programming programmed , programming program
programming analysis » program analysis

Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings /

出版 2014

書本目錄: “... -- Constrained Clustering Using Column Generation -- A Constraint Programming-Based Column Generation Approach...”
獲取全文

電子電子書

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

出版 2005

書本目錄: “... Approximation Algorithms for Metric Max TSP -- Unbalanced Graph Cuts -- Low Degree Connectivity in Ad-Hoc...”
獲取全文

電子電子書

Learning and Intelligent Optimization Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers /

出版 2008

書本目錄: “... -- Ant Colony Optimization and the Minimum Spanning Tree Problem -- A Vector Assignment Approach...”
獲取全文

電子電子書

Theoretical Aspects of Computing - ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings /

出版 2012

書本目錄: “...Symbolically Bounding the Drift in Time-Constrained MSC Graphs -- A Compositional Hierarchical...”
獲取全文

電子電子書

Algorithms - ESA 2006 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings /

出版 2006

書本目錄: “... in the Gale-Shapley Stable Matching Algorithm -- Approximating Almost All Instances of Max-Cut Within a Ratio...”
獲取全文

電子電子書

Implementation and Application of Automata 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers /

出版 2007

書本目錄: “... and Applications -- Subset Seed Automaton -- A Measure for the Degree of Nondeterminism of Context-Free Languages...”
獲取全文

電子電子書

Implementation and Application of Automata 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers /

出版 2005

書本目錄: “... Assembly in Ciliates -- A BDD-Like Implementation of an Automata Package -- Approximation to the Smallest...”
獲取全文

電子電子書

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings /

出版 2008

書本目錄: “... Programming for Some NP-Hard Graph Recoloring Problems -- A Linear-Time Algorithm for Finding All Door...”
獲取全文

電子電子書

Computer Science -- Theory and Applications First International Symposium on Computer Science...

出版 2006

書本目錄: “... -- Instruction Selection for ARM/Thumb Processors Based on a Multi-objective Ant Algorithm -- A New Flow Control...”
獲取全文

電子電子書

Discovery Science 13th International Conference, DS 2010, Canberra, Australia, October 6-8, 2010, Proceedings /

出版 2010

書本目錄: “... Association Analysis -- Adapted Transfer of Distance Measures for Quantitative Structure-Activity...”
獲取全文

電子電子書

Computing and Combinatorics 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006, Proceedings /

出版 2006

書本目錄: “... Computing -- Session A -- A Simplicial Approach for Discrete Fixed Point Theorems -- On Incentive Compatible...”
獲取全文

電子電子書

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

出版 2007

書本目錄: “... Communication Networks -- Information Distance from a Question to an Answer -- A New Field Splitting Algorithm...”
獲取全文

電子電子書

縮小搜索