Εμφανίζονται 161 - 180 Αποτελέσματα από 222 για την αναζήτηση '"constraint programming"', χρόνος αναζήτησης: 0,17δλ Περιορισμός αποτελεσμάτων
  1. 161
    CONCUR'97: Concurrency Theory 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… -- Axiomatizing flat iteration -- Probabilistic concurrent constraint programming -- On the complexity…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 162
    Encyclopedia of Operations Research and Management Science
    Έκδοση 2001
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 163
    Logic Programming 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… -- Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2004
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 165
    Logic Programming 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Constraint Programming and Tree–Based Acoustic Modelling -- MProlog: An Extension of Prolog for Modal Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 166
    Game of Life Cellular Automata
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Discovery in Cellular Automata -- Constraint Programming to Solve Maximal Density Still Life -- Asynchronous…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 167
    Diagrammatic Representation and Inference 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Routines Using Constraint Programming -- Deduction with Euler Circles: Diagrams That Hurt -- Diagrams…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 168
    Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 169
    Integrated Methods for Optimization
    ανά Hooker, John N.
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 170
    Metaheuristics Progress in Complex Systems Optimization /
    Έκδοση 2007
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 171
    Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… and Complete Trace Logic for Concurrent Constraint Programs -- Privacy from Accelerating Eavesdroppers…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 172
    Practice and Theory of Automated Timetabling V 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Solving School Timetabling Problems Using Extensions of Constraint Programming -- A Tiling Algorithm…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 173
    Logic Programming and Automated Reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… -- Abstracting Properties in Concurrent Constraint Programming -- A Fixpoint Semantics for Reasoning about Finite…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Specifications Via Constraint Programming -- Goanna—A Static Model Checker -- PDMC -- Parallel SAT Solving…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 175
    Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “…Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 176
    Application and Theory of Petri Nets 1997 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “…Model checking LTL using constraint programming -- On the composition of timed systems -- Some…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Environments Using Constraint Programming -- Small World Terrorist Networks: A Preliminary Investigation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 178
    Context in Computing A Cross-Disciplinary Approach for Modeling the Real World /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Prediction -- Multi-context logics-a general introduction -- Constraint programming for context comprehension…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Learning -- Using CBR to Select Solution Strategies in Constraint Programming -- Case-Based Art…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 180
    Handbook of Metaheuristics
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email