Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
semantics function » semantics functions, semantic function, semantics functional
function function » function functional, functions functional, function dysfunction
using semantics » using semantic
parallel using » parallel routing, parallel parking, parallel imaging
function https » functions https, fiction https
semantics function » semantics functions, semantic function, semantics functional
function function » function functional, functions functional, function dysfunction
using semantics » using semantic
parallel using » parallel routing, parallel parking, parallel imaging
function https » functions https, fiction https
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 2007
Table of Contents:
“... Environment Using the Great Deluge Algorithm -- Parallelism Granules Aggregation with the T-System -- Toward a...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... -- Provenance Explorer – Customized Provenance Views Using Semantic Inferencing -- On How to Perform a Gold...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“... -- Semantic Similarity-Driven Decision Support in the Skeletal Dysplasia Domain -- Using SPARQL to Query...”View full text
Electronic
eBook
6
Published 2012
Table of Contents:
“... -- Semantic Similarity-Driven Decision Support in the Skeletal Dysplasia Domain -- Using SPARQL to Query...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Resources -- Guarding a Walled Garden — Semantic Privacy Preferences for the Social Web -- Using Social...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Grove and Its Distributed Performance -- A Massively Parallel Hardware for Modular Exponentiations Using...”View full text
Electronic
eBook
9
Table of Contents:
“...Introduction -- Semantic Web -- External Sorting and B+-Trees -- Query Processing Overview...”
View full text
View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... Parallel ML: Semantics and Implementation of the Parallel Juxtaposition -- A Shortest Path Algorithm Based...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... based Circuits using Boolean Functional Decomposition -- Towards Code Optimization for Line-aware HDL...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“....- Arithmetic in the Finite Fields Using Optimal Normal and Polynomial Bases in Combination.-Development...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Diagnosis with the Use of Intelligent Techniques -- Introducing Parallel Computations to a PTTP-Based First...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”View full text
Electronic
eBook