Showing 181 - 200 results of 222 for search '"constraint programming"', query time: 0.13s Refine Results
  1. 181
    Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings /
    Published 2013
    Table of Contents: “… -- Snappy: A Simple Algorithm Portfolio -- Scarab: A Rapid Prototyping Tool for SAT-Based Constraint…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 182
    Handbook on Semidefinite, Conic and Polynomial Optimization
    Published 2012
    Table of Contents: “… Polynomial Optimization -- Semidefinite Programming and Constraint Programming -- The State-of-the-Art…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 183
    Progress in Artificial Intelligence 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Evora, Portugal, September 21-24, 1999, Proceedings /
    Published 1999
    Table of Contents: “… Programming -- Holonic Multiagent Systems - Theory and Applications - -- Constraint Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 184
    Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Declarative Framework for Security: Secure Concurrent Constraint Programming -- Logic Programming in Knowledge…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 185
    Current Topics in Artificial Intelligence 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers /
    Published 2006
    Table of Contents: “… -- Diagnosing Errors in DbC Programs Using Constraint Programming -- Early Fault Classification in Dynamic…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 186
    Professional Practice in Artificial Intelligence IFIP 19th World Computer Congress, TC 12: Professional Practice Stream, August 21–24, 2006, Santiago, Chile /
    Published 2006
    Table of Contents: “… Concurrent Constraint Programming -- Micromechanics as a Testbed for Artificial Intelligence Methods…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 187
    Foundations of Software Science and Computation Structures 5th International Conference, FOSSACS 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: “… -- On the Integration of Observability and Reachability Concepts -- Proving Correctness of Timed Concurrent Constraint…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 188
    Modular Programming Languages Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings /
    Published 2000
    Table of Contents: “… on Concurrent Constraint Programming -- Components -- Rethinking Our Trade and Science: From Developing…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 189
    Cognitive Infocommunications, Theory and Applications
    Published 2019
    Table of Contents: “… and printing interpreted in terms of cognitive infocommunication -- Constraints programming driven decision…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 190
    Practical Aspects of Declarative Languages First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings /
    Published 1998
    Table of Contents: “… Shuttle -- Developing a Declarative Rule Language for Applications in Product Configuration -- Constraint…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 191
    Logic Programming 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings /
    Published 2002
    Table of Contents: “… -- Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems -- Efficient Real…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 192
    Algebraic Methodology and Software Technology 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings /
    Published 2000
    Table of Contents: “…-tasking -- A Causal Semantics for Timed Default Concurrent Constraint Programming -- Casl-Chart: A…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 193
    Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings /
    Published 2013
    Table of Contents: “… -- Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models -- Constraint Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 194
    Experimental and Efficient Algorithms 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005. Proceedings /
    Published 2005
    Table of Contents: “… with GRASP and Constraint Programming for the Oil Well Drilling Problem -- A Framework for Probabilistic…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 195
    Coordination Languages and Models Second International Conference, COORDINATION'97, Berlin, Germany, September 1-3, 1997, Proceedings /
    Published 1997
    Table of Contents: “… for linear constraint programs -- Programmable coordination media -- Safer tuple spaces -- Coordinating…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 196
    Progress in Artificial Intelligence - IBERAMIA 98 6th Ibero-American Conference on AI, Lisbon, Portugal, October 5-9, 1998 Proceedings /
    Published 1998
    Table of Contents: “… of Specialized ANNs -- Neural Nets -- A Generalisation Study on Neural Corner Detection -- Constraint Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 197
    Advances in Design
    Published 2006
    Table of Contents: “… -- Gene Engineering-based Innovation of Manufactured Products -- Use of Constraint Programming for Design…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 198
    Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 199
    Evolutionary Multi-Criterion Optimization 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009. Proceedings /
    Published 2009
    Table of Contents: “…Invited Talks -- Scatter Search and Path Relinking -- Ant Colony Optimization -- Constraint…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 200
    Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers /
    Published 2013
    Table of Contents: “… of Mixed Nash Equilibria -- Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search