Εμφανίζονται 241 - 260 Αποτελέσματα από 322 για την αναζήτηση 'Counting problem (complexity)', χρόνος αναζήτησης: 0,12δλ Περιορισμός αποτελεσμάτων
  1. 241
    Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… with Equivalence or Transitive Guards -- Data Complexity in the Family of Description Logics -- An Extension…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 242
    Mathematical Foundations of Computer Science 2002 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… -- On Verifying Fair Lossy Channel Systems -- Parameterized Counting Problems -- On the Construction of Effective…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 243
    Statistics for Lawyers
    ανά Finkelstein, Michael O., Levin, Bruce
    Έκδοση 2001
    Πίνακας περιεχομένων: “…Descriptive Statistics -- How to Count -- Elements of Probability -- Some Probability Distributions…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 244
    Principles and Practice of Constraint Programming - CP97 Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… of backtracking on inconsistent CSPs -- Using constraint propagation for complex scheduling problems: Managing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 245
    Foundations of Software Technology and Theoretical Computer Science 18th Conference, Chennai, India, December 17-19, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… -- Session 8(a) -- On the Complexity of Counting the Number of Vertices Moved by Graph Automorphisms…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 246
    Mathematical Foundations of Computer Science 1997 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… -- Two-level contextual grammars: The internal case -- Counting problems over the reals…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 247
    Assessing Impairment From Theory to Practice /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- The Role of Family and Situational Problems in Understanding and Reducing Impairment -- Relationships…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 248
    Logic Programming and Automated Reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “…Session 1 -- Proofs About Lists Using Ellipsis -- Session 2 -- On the Complexity of Counting…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 249
    Constructing Number Merging Perspectives from Psychology and Mathematics Education /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… Understanding of Place Value -- The complexity of basic number processing: A commentary from a neurocognitive…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 250
    Automata, Languages and Programming 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… -- Towards a Predictive Computational Complexity Theory -- Equivariant Syntax and Semantics -- L(A) = L(B…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 251
    Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Noise Strategies -- The Max-Atom Problem and Its Relevance -- Session 2. Knowledge Representation 1…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 252
    Typed Lambda Calculi and Applications 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… in Practice: A Type-Theoretic Approach to the Year 2000 Problem -- Contributions -- Modules in Non-commutative…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 253
    Intelligent Mathematics II: Applied Mathematics and Approximation Theory
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Complexity Analysis of the Path Following Method for Linear Complementarity Problem -- Branch and Bound…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 254
    Topics in Discrete Mathematics Dedicated to Jarik Nešetřil on the Occasion of his 60th Birthday /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- Two Isoperimetric Problems for Euclidean Simplices -- On Finitely Generated Varieties of Distributive…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 255
    Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Structure for Solution Counting -- Solving a Location-Allocation Problem with Logic-Based Benders…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 256
    Algorithmic Learning Theory 18th International Conference, ALT 2007, Sendai, Japan, October 1-4, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… of R.E. Classes -- Learning in Friedberg Numberings -- Complexity Aspects of Learning -- Separating…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 257
    Vector Biology, Ecology and Control
    Έκδοση 2010
    Πίνακας περιεχομένων: “… and Life -- Vector-Borne Diseases in the 21st Century: Counting Up or Counting Down? -- Emerging…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 258
    Thirty Essays on Geometric Graph Theory
    Έκδοση 2013
    Πίνακας περιεχομένων: “… problems -- 11) S. Felsner: Rectangle and square representations of planar graphs -- 12) R. Fulek - N…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 259
    Applying Generalized Linear Models
    ανά Lindsey, James K.
    Έκδοση 1997
    Πίνακας περιεχομένων: “…: Exponential Growth Curves -- Logistic Growth Curve -- Gomperz Growth Curve -- More Complex Models -- Exercises…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 260
    Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “…, and T -- On the Almighty Wand -- On Counting Generalized Colorings -- The Descriptive Complexity of Parity Games…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email