Resultados da busca - enumerating constrained programming program problems a

Buscas alternativas:
enumerating constrained » answering constrained , cooperations constrained
constrained programming » constraint programming
programming program » programming programmed , programming problem , programming problems
program problems » programs problems , program problem , programs problem

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

Publicado em 2014

Sumário: “... the Quorumcast Routing Problem as a Mixed Integer Program -- A New MIP Model for Parallel-Batch Scheduling...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2008

Sumário: “... -- Learning from the Past to Dynamically Improve Search: A Case Study on the MOSP Problem -- Image...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2005

Sumário: “... -- On Degree Constrained Shortest Paths -- A New Template for Solving p-Median Problems for Trees in Sub...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2012

Sumário: “...Symbolically Bounding the Drift in Time-Constrained MSC Graphs -- A Compositional Hierarchical...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2007

Sumário: “... Generate Automata -- A Finite-State Super-Chunker -- The Constrained Longest Common Subsequence Problem...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2006

Sumário: “... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Publicado em 2006

Sumário: “... Group Problems -- Canonical Decomposition of a Regular Factorial Language -- Acyclic Bidirected and Skew...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /

por Spear, Chris., Spear, Chris.
Publicado em 2008

Sumário: “... Constrained-Random Stimulus -- 1.7 What Should You Randomize? -- 1.8 Functional Coverage -- 1.9 Testbench...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2005

Sumário: “... -- On the Equivalence-Checking Problem for a Model of Programs Related With Multi-tape Automata -- Poster Papers...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2008

Sumário: “... Programming for Some NP-Hard Graph Recoloring Problems -- A Linear-Time Algorithm for Finding All Door...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2010

Sumário: “... Diffusion in Social Networks -- Integer Linear Programming Models for Constrained Clustering -- Efficient...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2006

Sumário: “... Sequences -- Improved Algorithms for the Minmax Regret 1-Median Problem -- Partitioning a Multi-weighted...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2007

Sumário: “... Phylogenetic Forest Problem -- Seed-Based Exclusion Method for Non-coding RNA Gene Search -- A New Quartet...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Refinar a Busca