Search Results - springer optimization program diagram constructing https

1

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference...

Published 2015

Table of Contents: “... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...”
View full text

Electronic eBook

2

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference...

Published 2007

Table of Contents: “... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...”
View full text

Electronic eBook

3

Combinatorial Optimization and Applications 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings /

Published 2014

Table of Contents: “... of Ordered Binary Decision Diagrams -- Tight Analysis of Priority Queuing for Egress Traffic -- Optimally...”
View full text

Electronic eBook

4

Principles and Practice of Constraint Programming - CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings /

Published 2007

Table of Contents: “... of Cardinality Constraints -- AND/OR Multi-valued Decision Diagrams for Constraint Optimization -- Parallelizing...”
View full text

Electronic eBook

5

Models, Algorithms and Technologies for Network Analysis From the Third International Conference on Network Analysis /

Published 2014

Table of Contents: “... in the long run -- Using mathematical programming to refine heuristic solutions for network clustering...”
View full text

Electronic eBook

6

Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 /

Published 2008

Table of Contents: “... -- Methodical Construction of Symbolic Diagrams -- Machine Learning and Data Mining -- Bi-objective Memetic...”
View full text

Electronic eBook

7

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Published 2010

Table of Contents: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
View full text

Electronic eBook

8

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Published 2008

Table of Contents: “...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”
View full text

Electronic eBook

9

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
View full text

Electronic eBook

10

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings /

Published 2013

Table of Contents: “... Design Patterns -- Building Correct by Construction SOA Design Patterns: Modeling and Refinement...”
View full text

Electronic eBook

11

Advances in Geometric Modeling and Processing 6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010, Proceedings /

Published 2010

Table of Contents: “... and Surfaces -- Construction of Minimal Catmull-Clark’s Subdivision Surfaces with Given Boundaries...”
View full text

Electronic eBook

12

Trends in Applied Intelligent Systems 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, J...

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

13

Algorithms and Computation 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006, Proceedings /

Published 2006

Table of Contents: “...: Computational Geometry -- Diamond Triangulations Contain Spanners of Bounded Degree -- Optimal Construction...”
View full text

Electronic eBook

14

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

Published 2005

Table of Contents: “... Networks -- 5-Regular Graphs are 3-Colorable with Positive Probability -- Optimal Integer Alphabetic Trees...”
View full text

Electronic eBook

15

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Cluster Layout Based on Voronoi Diagram -- A Reconfigurable Design and Architecture of the Ethernet...”
View full text

Electronic eBook

16

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings /

Published 2008

Table of Contents: “...Invited Talks -- The Computability Path Ordering: The End of a Quest -- The Joy of String Diagrams...”
View full text

Electronic eBook

17

Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings /

Published 2006

Table of Contents: “... for Compositional Model Checking -- Refined Interfaces for Compositional Verification -- On Distributed Program...”
View full text

Electronic eBook

18

Algorithms - ESA 2010 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings /

Published 2010

Table of Contents: “...-temporal Range Searching over Compressed Kinetic Sensor Data -- Constructing the Exact Voronoi Diagram...”
View full text

Electronic eBook

19

Advances in Computer Science - ASIAN 2004, Higher Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birt...

Published 2005

Table of Contents: “... -- Contributed Papers -- Probabilistic Space Partitioning in Constraint Logic Programming -- Chi-Square Matrix...”
View full text

Electronic eBook

20

Form-Oriented Analysis A New Methodology to Model Form-Based Applications /

by Draheim, Dirk., Draheim, Dirk., Weber, Gerald.
Published 2005

Table of Contents: “... Code Paradigm -- State History Diagrams -- Semantics of the Data Model -- Semantics of Web Signatures...”
View full text

Electronic eBook

Narrow Search