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

1181
Published 2015
Springer International Publishing
Table of Contents: “...Possibility Theory, Belief Functions and Transformations -- Probability-possibility transformations...”
Cover Image
Read Now

1182
Published 2015
Springer International Publishing
Table of Contents: “... Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory -- Mining...”
Cover Image
Read Now

1183
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Architecture -- Integrating Architecture Description Languages: A Semantics-Based Approach -- Automated Runtime...”
Cover Image
Read Now

1184
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Language Understanding in Façade: Surface-Text Processing -- Stepping into the Interactive Drama -- From...”
Cover Image
Read Now

1185
Published 2024
Springer Berlin Heidelberg
Table of Contents: “... -- Samples and missing data -- Part VI Language Data -- Who is supposed to read all this? Automatic analysis...”
Cover Image
Read Now

1186
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...HOPSA — a High-level Programming Language for Parallel Computations -- HEUROPA — Heuristic...”
Cover Image
Read Now

1187
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Translation -- A Method and Language for Constructing Multiagent Systems -- A Formalism for Building Causal...”
Cover Image
Read Now

1188
Published 1997
Springer US
Table of Contents: “.... Automatic Analysis of Natural Language Texts in Man-Machine Communication -- 17. Accommodating Dimension...”
Cover Image
Read Now

1189
Published 1991
Springer US
Table of Contents: “... an Evolutionary Theory of Information Systems Planning -- Planning Implementation Steps for Co-operative...”
Cover Image
Read Now

1190
Published 2020
Springer International Publishing
Table of Contents: “... the Effectiveness of the Standard Insights Extraction Pipeline for Bantu Languages -- Recommendation -- Axiomatic...”
Cover Image
Read Now

1191
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...: Dealing with Insufficient Data -- 9 MASTA – Multi-Agent Systems: Theory and Applications -- Modeling...”
Cover Image
Read Now

1192
Published 2014
Springer Berlin Heidelberg
“... language processing problems, as well as in automated deduction. Then, different formal frameworks...”
Cover Image
Read Now

1193
Published 2011
Springer Netherlands
Table of Contents: “... FBS framework, by Caetano Cascini, Luca Del Frate, Gualtiero Fantoni and Francesca Montagna -- Formal...”
Cover Image
Read Now

1194
Published 2006
Springer Netherlands
Table of Contents: “... OPTIMIZATION METHOD USED IN PIXEL-BASED TEXTURE SYNTHESIS -- FORMAL METHOD IN IMPLEMENTATION OF ATLAS LANGUAGE...”
Cover Image
Read Now

1195
Published 2019
Springer International Publishing
Table of Contents: “... Analysis between FPGA and GPU -- Making a Shift from Believing to Knowing by the Help of RDF CFL Formal...”
Cover Image
Read Now

1196
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...Ontologies: Mappings and Translation -- The Theory of Top-Level Ontological Mappings and Its...”
Cover Image
Read Now

1197
Published 1993
Springer US
Table of Contents: “.... Generalizing Explanation Structures -- 4. Recoverable Simplifications and the Intractable Domain Theory Problem...”
Cover Image
Read Now

1198
Published 2014
Springer International Publishing
Table of Contents: “... Recognition Based on Subclass Discriminant Analysis -- A Process Quality Monitoring Approach of Automatic...”
Cover Image
Read Now

1199
by Richter, Michael M., Paul, Sheuli, Këpuska, Veton, Silaghi, Marius
Published 2022
Springer International Publishing
Table of Contents: “..., and Recognition -- 9.1 Learning -- 9.2Bayesian Formalism -- 9.2.1 Dynamic Bayesian Theory -- 9.2.2 Recognition...”
Cover Image
Read Now

1200
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...Towards Trust in Web Content Using Semantic Web Technologies -- The Semantic Gap of Formalized...”