Showing 161 - 180 results of 222 for search '"constraint programming"', query time: 0.12s Refine Results
  1. 161
    CONCUR'97: Concurrency Theory 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings /
    Published 1997
    Table of Contents: “… -- Axiomatizing flat iteration -- Probabilistic concurrent constraint programming -- On the complexity…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 162
    Encyclopedia of Operations Research and Management Science
    Published 2001
    Full Text via HEAL-Link
    Electronic eBook
  3. 163
    Logic Programming 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings /
    Published 2003
    Table of Contents: “… -- Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 164
    Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003. Selected Papers /
    Published 2004
    Full Text via HEAL-Link
    Electronic eBook
  5. 165
    Logic Programming 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings /
    Published 2004
    Table of Contents: “… Constraint Programming and Tree–Based Acoustic Modelling -- MProlog: An Extension of Prolog for Modal Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 166
    Game of Life Cellular Automata
    Published 2010
    Table of Contents: “… Discovery in Cellular Automata -- Constraint Programming to Solve Maximal Density Still Life -- Asynchronous…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 167
    Diagrammatic Representation and Inference 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Routines Using Constraint Programming -- Deduction with Euler Circles: Diagrams That Hurt -- Diagrams…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 168
    Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  9. 169
    Integrated Methods for Optimization
    by Hooker, John N.
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  10. 170
    Metaheuristics Progress in Complex Systems Optimization /
    Published 2007
    Full Text via HEAL-Link
    Electronic eBook
  11. 171
    Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday /
    Published 2014
    Table of Contents: “… and Complete Trace Logic for Concurrent Constraint Programs -- Privacy from Accelerating Eavesdroppers…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 172
    Practice and Theory of Automated Timetabling V 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers /
    Published 2005
    Table of Contents: “… Solving School Timetabling Problems Using Extensions of Constraint Programming -- A Tiling Algorithm…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 173
    Logic Programming and Automated Reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings /
    Published 1999
    Table of Contents: “… -- Abstracting Properties in Concurrent Constraint Programming -- A Fixpoint Semantics for Reasoning about Finite…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 174
    Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers /
    Published 2007
    Table of Contents: “… Specifications Via Constraint Programming -- Goanna—A Static Model Checker -- PDMC -- Parallel SAT Solving…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 175
    Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings /
    Published 2007
    Table of Contents: “…Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 176
    Application and Theory of Petri Nets 1997 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings /
    Published 1997
    Table of Contents: “…Model checking LTL using constraint programming -- On the composition of timed systems -- Some…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 177
    Applications and Innovations in Intelligent Systems XV Proceedings of AI-2007, the Twenty-seventh SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence /
    Published 2008
    Table of Contents: “… Environments Using Constraint Programming -- Small World Terrorist Networks: A Preliminary Investigation…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 178
    Context in Computing A Cross-Disciplinary Approach for Modeling the Real World /
    Published 2014
    Table of Contents: “… Prediction -- Multi-context logics-a general introduction -- Constraint programming for context comprehension…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 179
    Case-Based Reasoning Research and Development 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Learning -- Using CBR to Select Solution Strategies in Constraint Programming -- Case-Based Art…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 180
    Handbook of Metaheuristics
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search