Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
https functionality » its functionality, bags functionality, cross functionality
functionality using » functionality business, functionality design, functioning using
program comparison » problem comparison, programming comparison, program composition
comparison https » comparison maps, comparison bits, computation https
using https » using http, nursing https, aging https
https functionality » its functionality, bags functionality, cross functionality
functionality using » functionality business, functionality design, functioning using
program comparison » problem comparison, programming comparison, program composition
comparison https » comparison maps, comparison bits, computation https
using https » using http, nursing https, aging https
1
Table of Contents:
“...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...”
View full text
View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“...-Based ILP Systems -- Learning Aggregate Functions with Neural Networks Using a Cascade-Correlation...”View full text
Electronic
eBook
6
Table of Contents:
“... Parameters -- A Comparison with Tree-Based Genetic Programming -- Advanced Techniques and Phenomena...”
View full text
View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... mutation paradigm for Genetic Programming -- Introducing an Age-Varying Fitness Estimation Function -- EC...”View full text
Electronic
eBook
8
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”View full text
Electronic
eBook
9
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...”View full text
Electronic
eBook
10
Table of Contents:
“... or Heteroclinic Loop -- Finding More Limit Cycles Using Melnikov Functions -- Limit Cycle Bifurcations...”
View full text
View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“...-density woodlands -- A computer system using two membership functions and T-Norms for the calculation...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“...The NUTRA-SNACKS Project: Basic Research and Biotechnological Programs on Nutraceutics -- Overview...”View full text
Electronic
eBook
13
“... and a Bonferroni test for pairwise comparisons were used to assess the intervention's efficacy. Before...”
View full text
View full text
Article
14
Published 2010
Table of Contents:
“... -- Time Series Comparison Using Linguistic Fuzzy Techniques -- Granular Approach for Evolving System...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Emissions -- Coping with Uncertainty in Temporal Gene Expressions Using Symbolic Representations -- Olive...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... for Data with Tolerance Using Kernel Function -- A Similarity Measure for Sequences of Categorical Data...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... of Speakers by Name Using Belief Functions -- Constructing Multiple Frames of Discernment for Multiple...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... -- Grammar-Based Compression in a Streaming Model -- Simplifying Regular Expressions -- A Programming...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”View full text
Electronic
eBook