1
Published 2013
Table of Contents: ... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
View full text
Electronic eBook
3
Published 2012
Table of Contents: ... Formal Semantics for Weighted Ontology -- Personalised Graph-Based Selection of Web APIs -- Instance...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ... Formal Semantics for Weighted Ontology -- Personalised Graph-Based Selection of Web APIs -- Instance...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... Semantic Ambiguities of Function Block Architecture by Modeling with ASM -- On Tractability of Disjoint...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... of Experts for View-Independent Face Recognition -- Fusion of Support Vector Classifiers for Parallel Gabor...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... Distributed Resources Allocation in Massively Parallel Processors on-Chip -- Cooperative Learning Sensitive...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... urban space: A case study of cozy space design pattern -- Quantum-Membership-Function-Based Adaptive...
View full text
Electronic eBook