Showing 101 - 120 results of 191 for search '"regular expression"', query time: 0.31s Refine Results
  1. 101
    Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
    Published 2014
    Table of Contents: “… for Regular Expression Equivalence -- Collaborative Interactive Theorem Proving with Clide…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 102
    Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06 /
    Published 2007
    Table of Contents: “… of Properties Built on Regular Expressions Sequences -- Observer-BasedVerification Using Introspection: A System…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 103
    Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings /
    Published 2019
    Table of Contents: “… Model-Based Testing and Machine Learning -- Regular expression learning with evolutionary testing…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 104
    Theoretical Aspects of Computing - ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings /
    Published 2018
    Table of Contents: “… -- An Automata-Based View on Configurability and Uncertainty -- Formalising Boost POSIX Regular Expression…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 105
    Implementation and Application of Automata 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers /
    Published 2001
    Table of Contents: “… Construction for Multiplicities -- Implicit Structures to Implement NFA's from Regular Expressions -- New…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 106
    Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /
    Published 2006
    Table of Contents: “… Engine for Modular Transducers -- A Bialgebraic Review of Deterministic Automata, Regular Expressions…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 107
    Programming Languages and Systems Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings /
    Published 2004
    Table of Contents: “…-Processing Programs Based on Ordered Linear Type -- An Implementation of Subtyping Among Regular Expression…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 108
    Data Mining and Multi-agent Integration
    Published 2009
    Table of Contents: “… on Genetic Algorithms and Regular Expressions -- Establishment and Maintenance of a Knowledge Network…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 109
    Grammatical Inference: Algorithms and Applications 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings /
    Published 2008
    Table of Contents: “… -- On Learning Regular Expressions and Patterns Via Membership and Correction Queries -- State-Merging DFA…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 110
    Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings /
    Published 2009
    Table of Contents: “… -- Short Regular Expressions from Finite Automata: Empirical Results -- Small Extended Expressions…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 111
    Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings /
    Published 2008
    Table of Contents: “… Algorithms for One-Unambiguous Regular Expressions -- Refinement of Kripke Models for Dynamics -- Tomorrow…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 112
    Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /
    Published 2006
    Table of Contents: “… -- New Constructions of Mechanisms with Verification -- Networks, Circuits and Regular Expressions…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 113
    Implementation and Application of Automata 8th International Conference, CIAA 2003 Santa Barbara, CA, USA, July 16–18, 2003 Proceedings /
    Published 2003
    Table of Contents: “… -- Computational Linguistic Motivations for a Finite-State Machine Hierarchy -- The Effect of Rewriting Regular…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 114
    Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /
    Published 2017
    Table of Contents: “… of Quantitative Regular Expressions -- Improving the Timed Automata Approach to Biological Pathway Dynamics…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 115
    Developments in Language Theory 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings /
    Published 2009
    Table of Contents: “… on the Descriptional Complexity of Regular Expressions -- Subshifts, Languages and Logic -- Magic Numbers and Ternary…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 116
    Algorithmic Learning Theory 16th International Conference, ALT 2005, Singapore, October 8-11, 2005. Proceedings /
    Published 2005
    Table of Contents: “… in the Limit of Substitutable Context-Free Languages -- Algorithms for Learning Regular Expressions -- A Class…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 117
    STACS 2003 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003. Proceedings /
    Published 2003
    Table of Contents: “… of Factorials -- On the Effective Jordan Decomposability -- Fast Algorithms for Extended Regular Expression…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 118
    Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /
    Published 2010
    Table of Contents: “…-Unit Based Regular Expression Matching with Reconfigurable Function Unit -- Availability Analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 119
    Combinatorial Pattern Matching 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Index for Approximate String Matching -- Improved Approximate String Matching and Regular Expression…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 120
    Experimental Algorithms 14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings /
    Published 2015
    Table of Contents: “… -- Experimental Analysis of an Online Dictionary Matching Algorithm for Regular Expressions with Gaps…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search