Search Results - interval computing problems programs compiling https

Search alternatives:
interval computing » intervals comparing , internet computing , interval counting
computing problems » compounding problems , routing problems , computers problems
programs compiling » programs combining , programs compiler , programs containing
problems programs » problems progress , problems problems , programs program
compiling https » computing https , counseling https , consulting https

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

Published 2008

Table of Contents: “... Approach to the Job-Shop Scheduling Problem -- Short Papers -- Counting Solutions of Integer Programs Using...”
View full text

Electronic eBook

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Interval Valued Fuzzy Coimplication -- Reduction of the Intruder Deduction Problem into Equational...”
View full text

Electronic eBook

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /

Published 2010

Table of Contents: “... for the Minimal Interval Completion Problem -- Centdian Computation for Sensor Networks -- Twisted Jacobi...”
View full text

Electronic eBook

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Published 2008

Table of Contents: “... Revisited: Semantics and Representation of Aggregates -- Compiling Fuzzy Answer Set Programs to Fuzzy...”
View full text

Electronic eBook

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Constraint-Directed Search in Computational Finance and Economics -- Constraints, Graphs, Algebra, Logic...”
View full text

Electronic eBook

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS...

Published 2008

Table of Contents: “... Problems for Probabilistic Büchi Automata -- Model-Checking ?-Regular Properties of Interval Markov Chains...”
View full text

Electronic eBook

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...”
View full text

Electronic eBook

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: “... Search -- Dealing with Incomplete Preferences in Soft Constraint Problems -- Efficient Computation...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice o...

Published 2013

Table of Contents: “...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”
View full text

Electronic eBook

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings /

Published 2010

Table of Contents: “... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”
View full text

Electronic eBook

Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings /

Published 2010

Table of Contents: “... Automated Formal Methods -- Multicore Embedded Systems: The Timing Problem and Possible Solutions -- Theorem...”
View full text

Electronic eBook

Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /

Published 2010

Table of Contents: “... Recovery -- Formally Efficient Program Instrumentation -- Interval Analysis for Concurrent Trace Programs...”
View full text

Electronic eBook

Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012

Published 2014

Table of Contents: “... -- Engineering Optimization Using SOMGA -- Goal Programming Approach to Trans-shipment Problem -- An Efficient...”
View full text

Electronic eBook

Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010, Proceedings /

Published 2010

Table of Contents: “... Computing to Solve Hamiltonian Path Problem -- Variable Automata over Infinite Alphabets -- Some Minimality...”
View full text

Electronic eBook

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”
View full text

Electronic eBook

Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers /

Published 2012

Table of Contents: “...-Based Height Analysis for Improving a Recurrence Interval-Based Resource Usage Verification...”
View full text

Electronic eBook

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

Published 2006

Table of Contents: “...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”
View full text

Electronic eBook

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers /

Published 2013

Table of Contents: “... Implementation Selection in the SkePU Skeleton Programming Library -- Automatic Skeleton-Based Compilation...”
View full text

Electronic eBook

Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected...

Published 2005

Table of Contents: “... System Prototype for Solving Multi-granularity Temporal CSP -- Computing Equilibria Using Interval...”
View full text

Electronic eBook

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: “... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”
View full text

Electronic eBook

Narrow Search