Εναλλακτικές αναζητήσεις:
programming programming » programming programmed, programming program
programming constraint » programming constrained, programming unconstrained, programming constructs
computers programming » computer programming, computer program, computer programs
interval computers » interval computing, internet computer, neural computers
constraint codes » constraint models, constraint model, constraint mode
1
Έκδοση 2014
Πίνακας περιεχομένων: ... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
Έκδοση 2014
Πίνακας περιεχομένων: ... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
Έκδοση 2006
Πίνακας περιεχομένων: ... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
4
Έκδοση 2007
Πίνακας περιεχομένων: ... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
5
Έκδοση 2010
Πίνακας περιεχομένων: ... -- Constraint-Directed Search in Computational Finance and Economics -- Constraints, Graphs, Algebra, Logic...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
6
Έκδοση 2010
Πίνακας περιεχομένων: ... with Constraint Programming -- Characterization and Automation of Matching-Based Neighborhoods -- Rapid Learning...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
7
Έκδοση 2008
Πίνακας περιεχομένων: ... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
8
Έκδοση 2005
Πίνακας περιεχομένων: ... and Open Constraint Programming -- Pruning by Equally Constrained Variables -- Search -- Trying Again...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
9
Έκδοση 2008
Πίνακας περιεχομένων: ... Community -- Invited Tutorials -- Constraint Handling Rules -- Back to Interval Temporal Logics -- Systems...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
10
Έκδοση 2015
Πίνακας περιεχομένων: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
11
Έκδοση 2014
Πίνακας περιεχομένων: ...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
12
Έκδοση 2010
Πίνακας περιεχομένων: ... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
13
Έκδοση 2012
Πίνακας περιεχομένων: ... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
14
Έκδοση 2005
Πίνακας περιεχομένων: ... Constraints -- A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
15
Έκδοση 2008
Πίνακας περιεχομένων: ... and Characterisations -- On Computing Constraint Abduction Answers -- Fast Counting with Bounded Treewidth -- Session 8...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
16
Πίνακας περιεχομένων: ... Packings -- Interval Methods for Validating Optimal Solutions -- The First Fully Interval-based...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
17
Έκδοση 2005
Πίνακας περιεχομένων: ... -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Human Disease? -- A...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
18
Έκδοση 2005
Πίνακας περιεχομένων: ... Distributed System-Level Diagnosis -- Analysis of Interval-Based Global State Detection -- Grid Computing -- A...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
19
Έκδοση 2012
Πίνακας περιεχομένων: ...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
20
Έκδοση 2008
Πίνακας περιεχομένων: ... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο