Showing 141 - 160 results of 222 for search '"constraint programming"', query time: 0.13s Refine Results
  1. 141
    Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  2. 142
    Advances in Bioinformatics and Computational Biology 4th Brazilian Symposium on Bioinformatics, BSB 2009, Porto Alegre, Brazil, July 29-31, 2009. Proceedings /
    Published 2009
    Table of Contents: “… -- Constraint Programming Models for Transposition Distance Problem -- Comparison of Spectra in Unsequenced…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 143
    Functional and Logic Programming 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings /
    Published 2002
    Table of Contents: “… -- On Consistency and Width Notions for Constraint Programs with Algebraic Constraints -- Solving Mixed Quantified…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 144
    Hybrid Metaheuristics Third International Workshop, HM 2006 Gran Canaria, Spain, October 13-14, 2006 Proceedings /
    Published 2006
    Table of Contents: “… for Rostering: A Case Study in the Integration of Constraint Programming and Local Search -- A Reactive Greedy…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 145
    Programming Languages and Systems 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings /
    Published 1998
    Table of Contents: “…Concurrent constraint programming based on functional programming -- A bisimulation method…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 146
    Coordination Models and Languages 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings /
    Published 2008
    Table of Contents: “… -- Service Combinators for Farming Virtual Machines -- Timed Soft Concurrent Constraint Programs…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 147
    Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers /
    Published 2016
    Table of Contents: “… -- Characterization of neighborhood behaviours in a multi-neighborhood local search algorithm -- Constraint…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 148
    Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings /
    Published 2002
    Table of Contents: “…Improving On-Demand Strategy Annotations -- First-Order Logic as a Constraint Programming Language…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 149
    Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday /
    Published 2016
    Full Text via HEAL-Link
    Electronic eBook
  10. 150
    Artificial Intelligence Applications and Innovations 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24-26, 2019, Proceedings /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  11. 151
    Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers /
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
  12. 152
    FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Within Linear Logic Concurrent Constraint Programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 153
    Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Action Languages with Constraints in CLP(FD) -- Declarative Diagnosis of Temporal Concurrent Constraint…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 154
    Programming Languages and Systems 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings /
    Published 2002
    Table of Contents: “… -- Programming Paradigms -- Soft Concurrent Constraint Programming -- Programming Languages for Compressing…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 155
    Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers /
    Published 2017
    Table of Contents: “… Constrained Horn Clauses -- MiniZinc with Strings -- Slicing Concurrent Constraint Programs -- A New…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 156
    Formal and Natural Computing Essays Dedicated to Grzegorz Rozenberg /
    Published 2002
    Table of Contents: “… as Processes -- Temporal Concurrent Constraint Programming: Applications and Behavior -- Molecular Computing…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 157
    Metaheuristic Optimization via Memory and Evolution Tabu Search and Scatter Search /
    Published 2005
    Table of Contents: “… in Constraint Programming -- General Purpose Metrics for Solution Variety -- Controlled Pool Maintenance…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 158
    Logic Programming and Nonmonotonic Reasoning Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings /
    Published 1997
    Table of Contents: “…Forward and backward chaining in constraint programming -- Strong and weak constraints…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 159
    Computer Science Logic 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers /
    Published 1998
    Table of Contents: “… -- On the computational complexity of type 2 functionals -- Categories with algebraic structure -- Concurrent constraint…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 160
    Global Optimization and Constraint Satisfaction First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers /
    Published 2003
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search