Resultados da busca - enumerating constraint programming programming program

1

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: “... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

2

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Publicado em 2010

Sumário: “..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

3

Database Programming Languages 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers /

Publicado em 2005

Sumário: “... Schemas in Data Synchronization -- Efficiently Enumerating Results of Keyword Search -- Mapping...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

4

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings /

Publicado em 2007

Sumário: “... Finite Domains -- Conflict-Driven Answer Set Enumeration -- Head-Elementary-Set-Free Logic Programs -- A...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

5

Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /

Publicado em 2005

Sumário: “... of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

6

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Publicado em 2013

Sumário: “... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

7

Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, Proceedings /

Publicado em 2010

Sumário: “... for Graph Diameter Decreasing Problems -- Distance Constraint Satisfaction Problems -- Faster Algorithms...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

8

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings /

Publicado em 2010

Sumário: “... about Resources -- Constraint Solving for Program Verification: Theory and Practice by Example...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

9

Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings /

Publicado em 2008

Sumário: “...Deterministic Graphical Games Revisited -- Program Schemes with Deep Pushdown Storage -- Herbrand...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

10

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Publicado em 2013

Sumário: “... Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs -- Discovering Branching...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

11

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings /

Publicado em 2014

Sumário: “... Modulo Graphs: Acyclicity -- Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

12

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Publicado em 2010

Sumário: “... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

13

Frontiers in Algorithmics Second International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceedings /

Publicado em 2008

Sumário: “... Information -- Estimating Hybrid Frequency Moments of Data Streams -- Constraint Bipartite Vertex Cover...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

14

Computing and Combinatorics 14th International Conference, COCOON 2008 Dalian, China, June 27-29, 2008, Proceedings /

Publicado em 2008

Sumário: “... Frequency Computations with Three Errors -- A Sublinear Time Randomized Algorithm for Coset Enumeration...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

15

Algorithms and Complexity 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010, Proceedings /

Publicado em 2010

Sumário: “... Algorithm for Connected Red-Blue Dominating Set -- Maximizing PageRank with New Backlinks -- Enumerating...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

16

Algorithms in Bioinformatics 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008, Proceedings /

Publicado em 2008

Sumário: “... by Integer Linear Programming -- An Efficient Lagrangian Relaxation for the Contact Map Overlap Problem -- A...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

17

Combinatorial Optimization and Applications Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008, Proceedings /

Publicado em 2008

Sumário: “... -- Automatic Generation of Symmetry-Breaking Constraints -- On the Stable Set Polytope of Claw-Free Graphs -- A...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

18

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

Publicado em 2005

Sumário: “... -- Linear-Time Enumeration of Isolated Cliques -- Finding Shortest Non-separating and Non-contractible...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

19

Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling /

por Liu, Jiming., Liu, Jiming., Jin, XiaoLong., Tsui, Kwok Ching.
Publicado em 2005

Sumário: “... Formal Framework of AOC -- AOC in Depth -- AOC in Constraint Satisfaction -- AOC in Complex Systems...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

20

Mathematical Software - ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /

Publicado em 2010

Sumário: “... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Refinar a Busca