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

101
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Possibilities -- Graphical Representation of Ordinal Preferences: Languages and Applications -- Combining...”
Cover Image
Read Now

102
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Vector Machine Experiments for Road Recognition in High Resolution Images -- An Automatic Face...”
Cover Image
Read Now

103
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... of Modal Logics -- Automating Theories in Intuitionistic Logic -- Taming the Complexity of Temporal...”
Cover Image
Read Now

104
Published 2016
Springer International Publishing
Table of Contents: “... for Event Refinement Structures in Event-B -- Rodin Platform Why3 plug-in -- Semi-Automated Design Space...”
Cover Image
Read Now

105
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Recognition -- Automatically Selecting Strategies for Multi-Case-Base Reasoning -- Diversity-Conscious...”
Cover Image
Read Now

106
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...Formal Methods and the Theory of Social Choice -- Relations Making Their Way from Logics...”
Cover Image
Read Now

107
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...Legal Text Processing and Information Extraction -- Legal Language and Legal Knowledge Management...”
Cover Image
Read Now

108
Published 1977
Springer Berlin Heidelberg
Table of Contents: “... of optimized code -- Some automatic transformations of CF-grammars -- Several aspects of theory of parametric...”
Cover Image
Read Now

109
Published 2017
Springer Berlin Heidelberg
Table of Contents: “...On Optimization Modulo Theories, MaxSMT and Sorting Networks. - The automatic detection of token...”
Cover Image
Read Now

110
Published 2023
Springer Nature Switzerland
Table of Contents: “... Data Footprints: Formal and Informal Data Citations in the Scientific Literature -- Non-citable...”
Cover Image
Read Now

111
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...High Performing Algorithms for MAP and Conditional Inference in Markov Logic -- Natural Language...”
Cover Image
Read Now

112
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Sign Language Recognition System -- General Fuzzy Answer Set Programs -- Reverse Engineering...”
Cover Image
Read Now

113
Published 2016
Springer Berlin Heidelberg
Table of Contents: “... solvers -- Automated Model Merge by Design Space Exploration -- RuleMerger: Automatic Construction...”
Cover Image
Read Now

114
Published 2021
Springer International Publishing
Table of Contents: “... Models -- Automated Attribute Weighting Fuzzy k-Centers Algorithm for Categorical Data Clustering -- q...”
Cover Image
Read Now

115
Published 2012
Springer Berlin Heidelberg
Table of Contents: “...Machine Learning -- Data Mining -- Automatic Reasoning -- Semantic Web -- Information Retrieval...”
Cover Image
Read Now

116
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... by Symbolic Refinement Checking -- Automatic Abstraction for Verification of Timed Circuits and Systems...”
Cover Image
Read Now

117
Published 2016
Springer Berlin Heidelberg
Table of Contents: “... Properties of Data Streams -- Formalizing Single-assignment Program Verification: an Adaptationcomplete...”
Cover Image
Read Now

118
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...On the Utility of Formal Methods in the Development and Certification of Software -- Formal...”
Cover Image
Read Now

119
by Ohlebusch, Enno
Published 2002
Springer New York
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

120
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... theory -- Resolution of goals with the functional and logic programming language LPG: Impact...”