1
Published 2006
Table of Contents: ...Papers -- Crossings and Permutations -- Morphing Planar Graphs While Preserving Edge Directions...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Transformation Units Guided by a SAT Solver -- Delaying Constraint Solving in Symbolic Graph Transformation -- A...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Constraint Programming and Local Search Solve the Scheduling Problem of Electricité de France Nuclear Power...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... and Their Applications -- On the Complexity of Trial and Error for Constraint Satisfaction Problems -- Information...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... for Constraint Satisfaction Problems -- On the Power of k-Consistency -- Complexity of Propositional Proofs Under...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... for the Alternating-Time ?-Calculus -- Space-Efficient Computation by Interaction -- The Ackermann Award 2006....
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... Surface Reconstruction -- Finite Sample Bias of Robust Scale Estimators in Computer Vision Problems...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... Combinatorial Algorithm for the Planar Multi flow Problem with Demands Located on Three Holes -- Generalized LR...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... for the Sparsest Spanners Problem on Apex-Minor-Free Graphs -- Computational Complexity of Perfect-Phylogeny...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... -- A Three-Level Graph Based Interactive Volume Segmentation System -- Self-organizing Deformable Model...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Routing Networks -- Solving the Physical Impairment Aware Routing and Wavelength Assignment Problem...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... Techniques -- A Hierarchical Programming Model for Large Parallel Interactive Applications -- Design of a...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... -- Incorporating Domain Knowledge into Evolutionary Computing for Discovering Gene-Gene Interaction...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... -- Probabilistic Rough Set Approaches to Ordinal Classification with Monotonicity Constraints -- Web Page...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...
View full text
Electronic eBook