1
Published 2014
Table of Contents: ... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...
View full text
Electronic eBook
2
Published 2012
Table of Contents: ... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... -- ASP Extensions -- Guarded Open Answer Set Programming -- External Sources of Computation for Answer...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ...Genetic Programming: Theory and Practice -- Better Solutions Faster: Soft Evolution of Robust...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Constraint Satisfaction Techniques -- Solving the Salinity Control Problem in a Potable Water System...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... -- Constraint-Directed Search in Computational Finance and Economics -- Constraints, Graphs, Algebra, Logic...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... Algorithm for Computing Smallest Common AoN-Supertree with Application to the Reconstruction of Glycan Trees...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... -- Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming, by J. A. Sandretto, G...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ...-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... -- Application of Indirect Field Oriented Control with Optimum Flux for Induction Machines Drives -- Urban...
View full text
Electronic eBook
16
Published 2015
Table of Contents: ... Reconfigurable Discrete Event Control Systems -- Hybrid Approach for Metamodel and Model Co-evolution...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Programs -- Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... Deformation Techniques -- Automatic Generation of Virtual Computer Rooms on the Internet Using X3D -- Stained...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... Classification Using the Harmful Word Filtering and SVM -- HVEM Control System Based on Grid: A Cornerstone of e...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Model by High-Resolution Central-Upwind Scheme -- User-Controllable GPGPU-Based Target-Driven Smoke...
View full text
Electronic eBook