Search alternatives:
"translators" » "translator", "translates"
"transistors" » "transistor"
"translations" » "translation"
Cover Image
Read Now

201
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... tiny constraint functional logic language and its continuation semantics -- Fully abstract translations...”
Cover Image
Read Now

202
by Darnell, Peter A., Margolis, Philip E.
Published 1996
Springer New York
Table of Contents: “....17 Date and Time Functions -- B: Implementation Limits -- B.1 Translation Limits -- B.2 Numerical...”
Cover Image
Read Now

203
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Points and Resolution -- Translations to CNF -- Sequential Encodings from Max-CSP into Partial Max-SAT...”
Cover Image
Read Now

204
Published 1994
Springer US
Table of Contents: “... Concluding remarks -- 12 Reversible Grammars and Their Application in Machine Translation -- 1 MT...”
Cover Image
Read Now

205
Published 2016
Springer International Publishing
Table of Contents: “... Comprehensive Analysis of the First Ten Editions of the WEBIST Conference -- Translation of Heterogeneous...”
Cover Image
Read Now

206
Published 2023
Springer Nature Switzerland
Table of Contents: “... vs Azure vs GCP -- Mathematical Modeling of the Translation Process and its Optimization...”
Cover Image
Read Now

207
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... -- Transformation of dynamic integrity constraints into transaction specifications -- View update translation via...”
Cover Image
Read Now

208
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... for Steganalysis of Translation-Based Steganography -- The Reverse Statistical Disclosure Attack -- Security...”
Cover Image
Read Now

209
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Mining with FP-Growth -- Incremental Learning of Transfer Rules for Customized Machine Translation...”
Cover Image
Read Now

210
Published 1980
Springer Berlin Heidelberg
Table of Contents: “... optimisation des descentes recursives -- An algebraic structure of petri nets -- An algorithm for translating...”
Cover Image
Read Now

211
Published 2022
Springer International Publishing
Table of Contents: “... Machines -- Semantic Code Search in Software Repositories using Neural Machine Translation -- AequeVox...”
Cover Image
Read Now

212
by Teufel, Bernd, Schmidt, Stephanie, Teufel, Thomas
Published 1993
Springer Vienna
Table of Contents: “... -- 5.2 Syntax-directed Translation -- 5.3 Type Checking -- 5.4 Intermediate Code Generation for PUO -- 6...”
Cover Image
Read Now

213
by Omoyeni, Timi
Published 2023
SitePoint Pty, Limited
Table of Contents: “... Automation -- Debugging -- Using AI as a Digital Tutor -- Language Translation -- Documentation -- Wrapping...”
Cover Image
Read Now

214
Published 2024
Springer Nature Switzerland
Table of Contents: “... Long Run Duration in Post-Trade Systems -- Unpaired Image-to-Image Translation using Transformer-based...”
Cover Image
Read Now

215
Published 1992
Springer London
Table of Contents: “... Programming Framework (Extended Abstract) -- Automated Translation of Occam to a Concurrent Logic Language...”
Cover Image
Read Now

216
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- Translating Logics for Coalgebras -- Presenting and Combining Inference Systems -- Monad-Independent Dynamic...”
Cover Image
Read Now

217
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- The HOL/NuPRL Proof Translator -- Formalizing Convex Hull Algorithms -- Experiments with Finite Tree...”
Cover Image
Read Now

218
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...: Judgment Day -- Translating Discrete-Time Simulink to Lustre -- Minimizing Variables’ Lifetime in Loop...”
Cover Image
Read Now

219
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... -- Translating algebraic specifications to Prolog programs: A comparative study -- Rewrite rule systems for modal...”
Cover Image
Read Now

220
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... New Translation for Semi-classical Theories — Backtracking without CPS -- Types -- Undoing Dynamic...”