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