Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
processing formalization » process formalization, preprocessing normalization, processing virtualization
formalization function » normalization functions, organization function, localization function
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
processing formalization » process formalization, preprocessing normalization, processing virtualization
formalization function » normalization functions, organization function, localization function
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
1
Pubblicazione 2011
Soggetti:
“...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...”Testo
Elettronico
eBook
2
Pubblicazione 2010
Sommario:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”Testo
Elettronico
eBook
3
Pubblicazione 2005
Sommario:
“... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...”Testo
Elettronico
eBook
4
Pubblicazione 2008
Sommario:
“... in Industrial Software Quality Control -- Animating Event B Models by Formal Data Models -- Automated Formal...”Testo
Elettronico
eBook
5
Pubblicazione 2014
Sommario:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Testo
Elettronico
eBook
6
Pubblicazione 2006
Sommario:
“... Translational Equivalence from a Japanese-Chinese Parallel Corpus -- Deep Processing of Korean Floating...”Testo
Elettronico
eBook
7
Pubblicazione 2007
Sommario:
“...Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency -- Note...”Testo
Elettronico
eBook
8
Pubblicazione 2015
Sommario:
“...Software Engineering: Non-functional Property Aware Brokerage Approach for Cloud Service Discovery...”Testo
Elettronico
eBook
9
Pubblicazione 2006
Sommario:
“... -- Reinventing Machine Learning with ROC Analysis -- Cocktail Party Processing -- AI in Education and Intelligent...”Testo
Elettronico
eBook
10
Pubblicazione 2007
Sommario:
“... of Ideal and Empirical ROC-Based Reject Rules -- Outlier Detection with Kernel Density Functions -- Generic...”Testo
Elettronico
eBook
11
Pubblicazione 2013
Sommario:
“... Algebraic Decomposition -- The Formalization of Syntax-Based Mathematical Algorithms Using Quotation...”Testo
Elettronico
eBook
12
Pubblicazione 2011
Sommario:
“... Control Devices for Parallel Rewriting -- Reaction Systems with Duration -- Nanomachine Computing...”Testo
Elettronico
eBook
13
Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday /
Pubblicazione 2014
Sommario:
“... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...”Testo
Elettronico
eBook
14
Pubblicazione 2005
Sommario:
“... for Natural Language Processing (and Vice Versa?) -- Statistical Relational Learning: An Inductive Logic...”Testo
Elettronico
eBook
15
Pubblicazione 2005
Sommario:
“... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...”Testo
Elettronico
eBook
16
Sommario:
“... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...”
Testo
Testo
Elettronico
eBook
17
Pubblicazione 2008
Sommario:
“... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”Testo
Elettronico
eBook
18
Pubblicazione 2012
Sommario:
“... Formal Semantics for Weighted Ontology -- Personalised Graph-Based Selection of Web APIs -- Instance...”Testo
Elettronico
eBook
19
Pubblicazione 2012
Sommario:
“... Formal Semantics for Weighted Ontology -- Personalised Graph-Based Selection of Web APIs -- Instance...”Testo
Elettronico
eBook
20
Pubblicazione 2006
Sommario:
“... Instrument Recognition and Classification Using Time Encoded Signal Processing and Fast Artificial Neural...”Testo
Elettronico
eBook