Εμφανίζονται 961 - 980 Αποτελέσματα από 17.196 για την αναζήτηση '"Algorithms"', χρόνος αναζήτησης: 0,39δλ Περιορισμός αποτελεσμάτων
  1. 961
    Algorithmic Foundations of Geographic Information Systems
    Έκδοση 1997
    Πίνακας περιεχομένων: “…to geometric computing: From algorithms to software -- Voronoi methods in GIS -- Digital elevation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 962
    Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Verilog to C Translator Tool -- Parameterized Compositional Model Checking -- An O(m log n) Algorithm…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 963
    Technical Analysis for Algorithmic Pattern Recognition
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 964
    Tools and Algorithms for the Construction and Analysis of Systems 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings /
    Έκδοση 2000
    Θέματα: “…Algorithms.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 965
    Tools and Algorithms for the Construction and Analysis of Systems 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… exclusion algorithm using abstraction -- Automated verification of Szymanski's algorithm -- Formal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 966
    Tools and Algorithms for the Construction and Analysis of Systems 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- Testing an Intentional Naming Scheme Using Genetic Algorithms -- Building a Tool for the Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 967
    Tools and Algorithms for the Construction and Analysis of Systems Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… -- Manipulation algorithms for K*BMDs -- Combining partial order and symmetry reductions -- Partial model checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 968
    Algorithmic Advances in Riemannian Geometry and Applications For Machine Learning, Computer Vision, Statistics, and Optimization /
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 969
    Teaching Learning Based Optimization Algorithm And Its Engineering Applications /
    ανά Rao, R. Venkata
    Έκδοση 2016
    Πίνακας περιεχομένων: “… algorithms -- Applications of proposed E-TLBO and M-TLBO algorithms on constrained and unconstrained…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 970
    Online Algorithms for the Portfolio Selection Problem
    ανά Dochow, Robert
    Έκδοση 2016
    Πίνακας περιεχομένων: “…Performance Evaluation -- Selected Algorithms from the Literature -- Proposed Algorithms with Risk…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 971
    Models, Algorithms and Technologies for Network Analysis NET 2014, Nizhny Novgorod, Russia, May 2014 /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… for 4-paths. Wided cycles -- Optimization Algorithms for Shared Groups in Multicast Routing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 972
    Innovative algorithmic techniques in cloud computing
    ανά Πισπιρίγκος, Γεώργιος
    Έκδοση 2021
    “… application in plenteous scientific areas, a numerous set of community detection algorithms [1-9] has already…”
    Λήψη πλήρους κειμένου
  13. 973
    Gems of Combinatorial Optimization and Graph Algorithms
    Έκδοση 2015
    Θέματα: “…Algorithms.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 974
    Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
    Έκδοση 2015
    Θέματα: “…Algorithms.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 975
    Algorithms for VLSI Physical Design Automation
    ανά Sherwani, Naveed A.
    Έκδοση 1999
    Πίνακας περιεχομένων: “… and its Impact on Physical Design -- Data Structures and Basic Algorithms -- Partitioning -- Floorplanning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 976
    Tools and Algorithms for the Construction and Analysis of Systems 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Generation of a Progress Measure for the Sweep-Line Method -- Tarjan’s Algorithm Makes On-the-Fly LTL…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 977
    Stochastic Approximation and Recursive Algorithms and Applications
    ανά Kushner, Harold J., Yin, G. George
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Algorithms -- Applications: Proofs of Convergence -- Rate of Convergence -- Averaging of the Iterates…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 978
    Parallel Algorithm Derivation and Program Transformation
    Έκδοση 1993
    Πίνακας περιεχομένων: “…Deductive Derivation of Parallel Programs -- Derivation of Parallel Sorting Algorithms -- Some…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 979
    Algorithmic Aspects of Wireless Sensor Networks First International Workshop, ALGOSENSORS 2004, Turku, Finland, July 16, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “…Invited Talks -- Algorithm Design and Optimization for Sensor Systems -- Algorithmic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 980
    Link Mining: Models, Algorithms, and Applications
    Έκδοση 2010
    Πίνακας περιεχομένων: “… and Incomplete Networks -- Markov Logic: A Language and Algorithms for Link Mining -- Understanding Group…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email