Εμφανίζονται 101 - 120 Αποτελέσματα από 222 για την αναζήτηση '"constraint programming"', χρόνος αναζήτησης: 0,13δλ Περιορισμός αποτελεσμάτων
  1. 101
    Constraints Meet Concurrency
    ανά Mauro, Jacopo
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 102
    Perspectives of Systems Informatics 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Checking -- Constraint Programming -- Separating Search and Strategy in Solver Cooperations -- Industrial…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 103
    Perspectives of System Informatics Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… -- Late Adaptation of Method Invocation Semantics -- Constraint Programming -- A Control Language…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 104
    Lectures on Concurrency and Petri Nets Advances in Petri Nets /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… on Timed Concurrent Constraint Programming -- Petri Nets and Manufacturing Systems: An Examples-Driven Tour…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 105
    Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Systems, and Ershov Morphisms -- Explaining Constraint Programming -- Sharing in the Weak Lambda-Calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 106
    Parameterized and Exact Computation 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 107
    Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… for JavaScript -- A Type Inference System Based on Saturation of Subtyping Constraints -- Programming -- Project…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 108
    Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Solving for Constraint Programming -- Generalizing Global Constraints Based on Network Flows -- A Global…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 109
    Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “…Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 110
    Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Procedure for UTVPI Constraints -- Declarative Constraint Programming with Definitional Trees -- Logical…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 111
    Hybrid Metaheuristics 4th International Workshop, HM 2007, Dortmund, Germany, October 8-9, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Strategy -- On the Combination of Constraint Programming and Stochastic Search: The Sudoku Case…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 112
    The Complexity of Valued Constraint Satisfaction Problems
    ανά Živný, Stanislav
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 113
    Line Drawing Interpretation
    ανά Cooper, Martin
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 114
    Handbook of Metaheuristics
    Έκδοση 2003
    Πίνακας περιεχομένων: “…-Start Methods -- Local Search and Constraint Programming -- Constraint Satisfaction -- Artificial Neural…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 115
    Developing Concepts in Applied Intelligence
    Έκδοση 2011
    Πίνακας περιεχομένων: “… -- A Constraint Programming Application for Rotating Workforce Scheduling -- Towards an Agent-Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 116
    Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- A Hybrid Benders’ Decomposition Method for Solving Stochastic Constraint Programs with Linear…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 117
    A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…? -- Concurrent and Reactive Constraint Programming -- Proof-Theoretic and Higher-Order Extensions of Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 118
    Perspectives of System Informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… on an Epilog Tailored Procedure -- Constraint Programming -- Hierarchical Constraint Satisfaction Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 119
    Evolutionary Computation in Combinatorial Optimization 4th European Conference, EvoCOP 2004, Coimbra, Portugal, April 5-7, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… and Constraint Programming on Binary Constraint Satisfaction Problems -- Binary Merge Model Representation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 120
    Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers /
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email