Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computing programming » computer programming, computers programming
programming problem » programming problems
problem functionals » problem functional, problems functions, probing functional
functionals https » functions https, function https, functionals hints
intelligent » intelligence
computing programming » computer programming, computers programming
programming problem » programming problems
problem functionals » problem functional, problems functions, probing functional
functionals https » functions https, function https, functionals hints
intelligent » intelligence
1
Published 2015
Table of Contents:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“...Applications of Artificial Intelligence -- Application of RBF Neural Network in Short-Term Load...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“...Applications of Computational Intelligence -- A New Fault Detection Method of Induction Motor -- A...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“... of Autonomous Robots -- Solving SONET Problems using a Hybrid Scatter Search Algorithm -- Investigating a...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Algorithm for Real Parameter Function Optimization Problems -- The RM-MEDA Based on Elitist Strategy...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”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
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”View full text
Electronic
eBook
12
Table of Contents:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
View full text
View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”View full text
Electronic
eBook
16
Table of Contents:
“...-RNC Algorithm -- Automatically Defined Functions in Problem Solving -- Polynomial Induction and Time...”
View full text
View full text
Electronic
eBook
17
Published 2015
Table of Contents:
“... -- Various Problems of Artificial Intelligence -- Constraint Optimization Production Planning Problem. A Note...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... Modeling via Probabilistic Nodes Combination -- Computer-Aided System for Automatic Classification...”View full text
Electronic
eBook
19
Published 2015
Table of Contents:
“... Differential Evolution Approach for Solving Integer Programming Problems -- Liver Disease Diagnosis Using...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... Initialisation Method with Selection of Weights on the Basis of the Function Variability -- Soft Committee...”View full text
Electronic
eBook



