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

141
by Śmiałek, Michał, Nowakowski, Wiktor
Published 2015
Springer International Publishing
Table of Contents: “... Language -- 3. Defining RSL -- 4. Explaining RSL with Java -- 5. Understanding Model Transformations -- 6...”
Cover Image
Read Now

142
Published 2015
Springer International Publishing
Table of Contents: “...Automated circular assume-guarantee reasoning -- Towards formal verification of orchestration...”
Cover Image
Read Now

143
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Propagation for Dempster-Shafer Belief Functions -- On bottom-up pre-processing techniques for automated...”
Cover Image
Read Now

144
Published 1994
Springer Berlin Heidelberg
Table of Contents: “...Formal methods for automated program improvement -- Adapting methods to novel tasks in proof...”
Cover Image
Read Now

145
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... Möbius transforms of monotone capacities -- Automated reasoning with merged contradictory information...”
Cover Image
Read Now

146
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

147
Published 2016
Springer International Publishing
Table of Contents: “... Model Checking for Probabilistic Programs -- Counter Systems, Automata -- How Hard Is It to Verify Flat...”
Cover Image
Read Now

148
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... about reactive systems -- Decidability results in automata and process theory -- Modal and temporal...”
Cover Image
Read Now

149
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...Symbolic trajectory evaluation -- Automated verification with abstract state machines using...”
Cover Image
Read Now

150
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- Learning and Data Driver Methods for Short Term Meteo Forecast -- Automatic Dictionary Creation by Sub...”
Cover Image
Read Now

151
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- Artificial Life and Artificial Immune Systems -- Ensemble Methods -- Manifold Learning Theory -- Evolutionary...”
Cover Image
Read Now

152
Published 2018
Springer International Publishing
Table of Contents: “...Formal Methods -- Verification -- Program Synthesis -- Model Checking -- Theorem Proving...”
Cover Image
Read Now

153
Published 2014
Springer International Publishing
Table of Contents: “... Protocol -- Quantitative Verification of Weighted Kripke Structures -- Formal Safety Assessment via...”
Cover Image
Read Now

154
Published 2016
Springer International Publishing
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

155
Published 2019
Springer International Publishing
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

156
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... calculus for possibilistic reasoning -- A model of inductive reasoning -- Automated reasoning...”
Cover Image
Read Now

157
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... -- Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching -- Visual Languages...”
Cover Image
Read Now

158
Published 2015
Springer International Publishing
Table of Contents: “... and Maintenance of Computational Models of Real-World Systems -- When a Formal Model Rhymes with a Graphical...”
Cover Image
Read Now

159
by Harrison, John
Published 1998
Springer London
Table of Contents: “... and formalization of analysis -- 3.2 Some general theories -- 3.3 Sequences and series -- 3.4 Limits, continuity...”
Cover Image
Read Now

160
Published 2019
Springer International Publishing
Table of Contents: “...-CDS 2019) -- Towards Automatic Diagnosis from Multi-modal Medical Data -- Deep Learning based Multi...”