Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
intelligence computer » intelligent computing
computer proceedings » computers proceedings, computing proceedings, computer processing
proceedings program » proceedings from
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
intelligence computer » intelligent computing
computer proceedings » computers proceedings, computing proceedings, computer processing
proceedings program » proceedings from
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
1
Published 2008
Table of Contents:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”View full text
Electronic
eBook
3
Published 2014
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
4
Published 2012
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”View full text
Electronic
eBook
6
Published 2011
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“...Applications of Computational Intelligence -- A New Fault Detection Method of Induction Motor -- A...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...Applications of Artificial Intelligence -- Application of RBF Neural Network in Short-Term Load...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Programming -- Parameter Evolution for a Particle Swarm Optimization Algorithm -- The Ant Colony Optimization...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”View full text
Electronic
eBook
13
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
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
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
16
Published 2005
Table of Contents:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”View full text
Electronic
eBook
18
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
19
Published 2015
Table of Contents:
“... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... Modeling via Probabilistic Nodes Combination -- Computer-Aided System for Automatic Classification...”View full text
Electronic
eBook