Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functions computational » function computation, directions computational, section computational
functions computation » function computation, functions composition, function composition
programming selecting » programming selected, programming setting, programming generating
selecting methods » selecting method, selection methods, selective methods
functions computational » function computation, directions computational, section computational
functions computation » function computation, functions composition, function composition
programming selecting » programming selected, programming setting, programming generating
selecting methods » selecting method, selection methods, selective methods
1
Published 2006
Table of Contents:
“... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”View full text
Electronic
eBook
2
Table of Contents:
“... to Ecosystem Service -- 1.5. Functional Diversity Quantification -- 2. Functional Groups -- 2.1 Selecting Trait...”
View full text
View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“..., Probabilistic, and Stochastic Processes -- Toward a Game-Theoretic Model of Grid Systems -- Functions...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”View full text
Electronic
eBook
6
Table of Contents:
“... Robotics -- Evolving Logic Functions -- ISAc List: Alternative Genetic Programming -- Graph-Based...”
View full text
View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... for Nuclear Digital Protection System -- Specification of a Software Common Cause Analysis Method -- Combining...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...Social Network Mining Tools -- An Overview of Methods for Virtual Social Networks Analysis...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... on Functional System-Level Design and Modeling -- Design Automation Model for Application-Specific Processors...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”View full text
Electronic
eBook
17
by Saeed, Walid
Published 2005
Subjects:
“...Programming language(Electronic computer)...”Published 2005
View full text
Thesis
18
Published 2014
Table of Contents:
“...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”View full text
Electronic
eBook
19
Published 2011
Table of Contents:
“... for Sensor Networks -- An Empirical Study of Programming Performance Based on Keystroke Characteristics -- A...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... Recognition in Portuguese -- Functional Aspects in Portuguese NER -- SIEMÊS – A Named-Entity Recognizer...”View full text
Electronic
eBook