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