Εμφανίζονται 121 - 140 Αποτελέσματα από 258 για την αναζήτηση '"pattern matching"', χρόνος αναζήτησης: 0,10δλ Περιορισμός αποτελεσμάτων
  1. 121
    Handbook of Massive Data Sets
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Testing in Massive Graphs, Part III : 6. String Pattern Matching for a Deluge Survival Kit, 7. Searching…”
    Βιβλίο
  2. 122
    Experimental study and characterization of magnetoelastic ribbons as vibration sensors and their application for the identification of cracks in cantilever beams through the dynamic behavior of the beam
    “… pattern matching process, through a minimization procedure, in order to identify the crack location…”
    Λήψη πλήρους κειμένου
  3. 123
    Automata Implementation Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… -- Operations on DASG -- Implementation of Nondeterministic Finite Automata for Approximate Pattern Matching…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 124
    Recent Advances in Intrusion Detection Third International Workshop, RAID 2000 Toulouse, France, October 2-4, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “…Logging -- Better Logging through Formality -- A Pattern Matching Based Filter for Audit Reduction…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 125
    Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Pattern Matching -- Deterministic ordered restarting automata that compute functions -- Weight Assignment…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 126
    Automata Implementation Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997, Revised Papers /
    Έκδοση 1998
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 127
    Rewriting Techniques and Applications 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… for Pattern Matching and Substitution -- Tradeoffs in the Intensional Representation of Lambda Terms…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 128
    Implementation and Application of Automata 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… -- On the Size of Deterministic Finite Automata -- Crystal Lattice Automata -- Minimal Adaptive Pattern-Matching…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 129
    Algorithms in Bioinformatics First International Workshop, WABI 2001, Aarhus, Denmark, August 28-31, 2001, Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… of Overrepresented Oligonucleotides -- Pattern Matching and Pattern Discovery Algorithms for Protein Topologies…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 130
    Experimental Algorithms 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “…Practical Variable Length Gap Pattern Matching using Wavelet Trees -- Fast Exact Computation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 131
    SOFSEM 2004: Theory and Practice of Computer Science 30th Conference on Current Trends in Theory and Practice of Computer Science Měřín, Czech Republic, January 24-30, 2004 Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Unification and Argumentation for Well-Founded Semantics -- Tree Signatures and Unordered XML Pattern Matching…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 132
    external_content.pdf
    Έκδοση 2022
    “…, and pattern matching. On the transformation side, it supports the definition of unidirectional model-to-model…”
  13. 133
    Topics in Cryptology – CT-RSA 2014 The Cryptographer’s Track at the RSA Conference 2014, San Francisco, CA, USA, February 25-28, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…: Soundness, Complete Non-malleability, and Applications -- Attacking PUF-Based Pattern Matching Key…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 134
    Implementation and Application of Automata 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… of Multitape Automata -- Robust Spelling Correction -- On Two-Dimensional Pattern Matching by Finite Automata…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 135
    Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…-Based Two Dimensional Pattern Matching -- History -- RESTRUCTURING LATTICE THEORY: AN APPROACH BASED…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 136
    Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures /
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 137
    Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… and container monads -- The Negligible and Yet Subtle Cost of Pattern Matching -- A lambda calculus for density…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 138
    Theory and Practice of Model Transformations Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… in Software Product Lines -- Efficient Model Transformations by Combining Pattern Matching Strategies…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 139
    Algorithms and Applications Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthday /
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 140
    Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Reduction Theorem -- Equations: A Dependent Pattern-Matching Compiler -- A Mechanically Verified AIG-to-BDD…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email