Search alternatives:
automation theory » automata theory, estimation theory, animation theory
automatic theory » automatic theorem, automata theory, axiomatic theory
languages » language
Cover Image
Read Now

101
Published 2021
Springer International Publishing
Table of Contents: “...Invited Talks -- Morphic sequences versus automatic sequences -- Parsimonious Computational...”
Cover Image
Read Now

102
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Verification using uninterpreted functions and finite instantiations -- Formal verification...”
Cover Image
Read Now

103
Published 2005
Springer Berlin Heidelberg
Table of Contents: “..., Automated Proofs for Security Protocols -- Completing the Picture: Soundness of Formal Encryption...”
Cover Image
Read Now

104
Published 1981
Springer Berlin Heidelberg
Table of Contents: “... in relational database theory -- A new characterization of the regular languages -- Langages Reconnaissables et...”
Cover Image
Read Now

105
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Rule Induction and k-NN Method with Automated Selection of Optimal Neighbourhood -- Using Hard...”
Cover Image
Read Now

106
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... -- An Automatic Encoding from VeriFast Predicates into Implicit Dynamic Frames -- Automated Code Proofs on a...”
Cover Image
Read Now

107
by Goronzy, Silke
Published 2002
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

108
Published 2015
Springer International Publishing
Table of Contents: “... Model Checking -- Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal...”
Cover Image
Read Now

109
Published 2014
Springer International Publishing
Table of Contents: “... in Practice -- Theory of Test Modeling Based on Regular Expressions -- Integrating Separation Logic with PPTL...”
Cover Image
Read Now

110
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...Introductions & Overviews -- An Introduction to Inductive Logic Programming and Learning Language...”
Cover Image
Read Now

111
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...Agents -- Automated Learning -- Bioinformatics -- Data Mining -- Financial Engineering...”
Cover Image
Read Now

112
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Models to Automate the Revision Stage of a CBR System -- Enhancing Consistency Based Diagnosis...”
Cover Image
Read Now

113
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...Nearest Local Hyperplane Rules for Pattern Classification -- Natural Language Processing...”
Cover Image
Read Now

114
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Complexity of Learning Logic Programs -- Statistical Theory of Learning and Pattern Recognition...”
Cover Image
Read Now

115
Published 2016
Springer International Publishing
Table of Contents: “... Affine Counter Systems with the Finite Monoid Property -- Solving Language Equations using Flanked...”
Cover Image
Read Now

116
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Theories -- Complexity of Fractran and Productivity -- Session 11. Models -- Automated Inference of Finite...”
Cover Image
Read Now

117
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... in Spatial Language Dynamics -- On the Average Size of Glushkov’s Automata -- Tiling the Plane with a Fixed...”
Cover Image
Read Now

118
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- An Environment for Formal Specification and Verification of Lingware -- Sentence Analysis by Case-Based Reasoning...”
Cover Image
Read Now

119
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Scientific Papers -- Language-Oriented Machine Learning -- Mapping an Automated Survey Coding Task into a...”
Cover Image
Read Now

120
Published 2018
Springer International Publishing
Table of Contents: “...Formal Methods -- Verification -- Program Synthesis -- Model Checking -- Theorem Proving...”