1
Published 2014
Table of Contents: ...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...Towards a MIP-Cut Metascheme -- Challenges for CPAIOR in Computational Sustainability -- Lazy...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... -- Constraint-Directed Search in Computational Finance and Economics -- Constraints, Graphs, Algebra, Logic...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...
View full text
Electronic eBook
11
Table of Contents: ... Manipulation, Functions -- R and its Documentation -- Drawing Curves and Plots -- Programming in R -- Managing...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... Distributed System-Level Diagnosis -- Analysis of Interval-Based Global State Detection -- Grid Computing -- A...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ... on Boundary Integral Operators.-Part II: Robust Multigrid, Multilevel and Multiscale, Deterministic...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ...Keynote and Invited Talks -- Interval-Based Models for Decision Problems -- On Choquet Integral...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Integration to a Microsoft Robotics Studio Simulation -- A Proposed Framework for Collaborative Design in a...
View full text
Electronic eBook
16
Published 2015
Table of Contents: ...Towards Smart Systems of Systems -- Automated Integration of Service-oriented Software Systems...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ... -- Extracting and Modeling Design Defects Using Gradual Rules and UML Profile -- An Approach to Integrating...
View full text
Electronic eBook
18
Published 2012
Table of Contents: ... by Interval AHP -- A Kind of Privacy-Preserving Data Mining Algorithm Oriented to Data User -- Design...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... Maps Based on the LSP Method -- Aggregated Mean Ratios of an Interval Induced from Aggregation...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...
View full text
Electronic eBook