Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
integration solving » integration coping, integration doing, integration setting
solving processing » string processing, solving process, sensing processing
constraint graphs » constraints graphs, constraint graph, constrained graphs
constraint https » constraint atoms, constraint codes, constraint cp
1
Beeld op de omslag
Gepubliceerd in 2010
Inhoudsopgave: “... -- Constraint-Directed Search in Computational Finance and Economics -- Constraints, Graphs, Algebra, Logic...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
2
Beeld op de omslag
Gepubliceerd in 2014
Inhoudsopgave: “... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
3
Beeld op de omslag
Gepubliceerd in 2005
Inhoudsopgave: “... Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
4
Beeld op de omslag
Gepubliceerd in 2014
Inhoudsopgave: “... -- Formal Refinement in SysML -- Verifying Modal Workflow Specifications Using Constraint Solving.-Proofs...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
5
Beeld op de omslag
Gepubliceerd in 2007
Inhoudsopgave: “... with a Low-Level Hybridization of Ants and Constraint Programming -- Profitability Comparison Between Gas...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
6
Beeld op de omslag
Gepubliceerd in 2005
Inhoudsopgave: “...) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
7
Beeld op de omslag
Gepubliceerd in 2006
Inhoudsopgave: “... Programming -- Solving First-Order Constraints in the Theory of the Evaluated Trees -- Relaxation...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
8
Beeld op de omslag
Gepubliceerd in 2014
Inhoudsopgave: “... Water Drops Algorithm to Solve Graph Based Travelling Salesman Problem -- Optimization of Complex...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
9
Beeld op de omslag
door Hooker, John N., Hooker, John N.
Gepubliceerd in 2007
Inhoudsopgave: “...Preface -- Introduction -- Search -- The solution process -- Branching search -- Constraint...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
10
Beeld op de omslag
Gepubliceerd in 2010
Inhoudsopgave: “... Random Goal Constraints for Stochastic Fuzzy Goal Programming -- Logical Approaches to Uncertainty...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
11
Beeld op de omslag
Gepubliceerd in 2006
Inhoudsopgave: “...-Library for C++ -- Constraint Solving for Sequences in Software Validation and Verification -- Using a...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
12
Beeld op de omslag
Gepubliceerd in 2005
Inhoudsopgave: “... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
13
Beeld op de omslag
Gepubliceerd in 2005
Inhoudsopgave: “... -- The nomore?+?+ Approach to Answer Set Solving -- Optimizing the Runtime Processing of Types in Polymorphic...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
14
Beeld op de omslag
Gepubliceerd in 2007
Inhoudsopgave: “... Soft Tissue Segmentation -- Shape Regression Machine -- Active Mean Fields: Solving the Mean Field...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
15
Beeld op de omslag
Gepubliceerd in 2005
Inhoudsopgave: “... -- Solving CSP by Lagrangian Method with Importance of Constraints -- Component Retrieval Using...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
16
Beeld op de omslag
Gepubliceerd in 2013
Inhoudsopgave: “... Preserving Interpolation -- Asynchronous Multi-core Incremental SAT Solving -- Model-Checking Iterated Games...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
17
Beeld op de omslag
Gepubliceerd in 2011
Inhoudsopgave: “... Based Constraint Management in Software Process Instantiation -- Adopting Quality Assurance Technology...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
18
Beeld op de omslag
Gepubliceerd in 2010
Inhoudsopgave: “... Using Heuristic Search -- Model Search: Formalizing and Automating Constraint Solving in MDE Platforms...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
19
Beeld op de omslag
Gepubliceerd in 2008
Inhoudsopgave: “... Study of SAT-Based Branching Heuristics for the CSP -- Autonomy in Virtual Agents: Integrating...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
20
Beeld op de omslag
Gepubliceerd in 2006
Inhoudsopgave: “... Approximations from Noisy Point Clouds -- Coresets for Discrete Integration and Clustering -- Self-assemblying...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
Zoekinstrumenten: Abonneren op RSS-datastromen — Zoekopdracht versturen — Sla zoekopdracht op