1
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
2
Published 2010
Table of Contents: ... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Theory of Time-Bounded Verification -- Physical Algorithms -- Session 1-Track B. Automata -- Optimal...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... Parity -- Consequences of Faster Alignment of Sequences -- Distance Labels with Optimal Local Stretch...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... for Probabilistic Automata -- LTL Model Checking of Interval Markov Chains -- Ramsey vs. Lexicographic Termination...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... and Their Compilation for Solving MinCostSAT -- Bound-Consistent Deviation Constraint -- Constructive Interval...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Method for Reliable Parameter Estimation of Exponential Sums -- Global Optimization -- Convex Programming...
View full text
Electronic eBook
9
Table of Contents: ... programming -- Linear programming with set coefficients -- Fuzzy linear optimization -- Interval linear...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... in the IPA Market with RL -- Optimizing Preferences within Groups: A Case Study on Travel Recommendation...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... in Crossover Designs -- Bias in Estimating the Variance of K-Fold Cross-Validation -- Effective Construction...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... Physical Fields -- A New Method for Normalization of Interval Weights -- A Global Optimization Method...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ...: Computational Geometry -- Diamond Triangulations Contain Spanners of Bounded Degree -- Optimal Construction...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Learning Vector Quantization -- Cost Optimization of a Localized Irrigation System Using Genetic Algorithms...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... to Interval Contention -- Optimistic Algorithms for Partial Database Replication -- Optimal Clock...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... Networks -- 5-Regular Graphs are 3-Colorable with Positive Probability -- Optimal Integer Alphabetic Trees...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ...-in Timing -- A New Approach to Construct Optimal Bow Tie Diagrams for Risk Analysis -- Machine Learning...
View full text
Electronic eBook