Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
intelligence computing » intelligent computing, intelligence computer, intelligence combining
proceedings program » proceedings from
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
intelligence computing » intelligent computing, intelligence computer, intelligence combining
proceedings program » proceedings from
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
1
Publié 2008
Table des matières:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”Accéder au texte intégral
Électronique
eBook
2
Publié 2006
Table des matières:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Accéder au texte intégral
Électronique
eBook
3
Publié 2014
Sujets:
“...Programming languages (Electronic computers)....”Accéder au texte intégral
Électronique
eBook
4
Publié 2012
Sujets:
“...Programming languages (Electronic computers)....”Accéder au texte intégral
Électronique
eBook
5
Publié 2010
Table des matières:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Accéder au texte intégral
Électronique
eBook
6
Publié 2011
Sujets:
“...Programming languages (Electronic computers)....”Accéder au texte intégral
Électronique
eBook
7
Publié 2010
Table des matières:
“...Applications of Computational Intelligence -- A New Fault Detection Method of Induction Motor -- A...”Accéder au texte intégral
Électronique
eBook
8
Publié 2010
Table des matières:
“...Applications of Artificial Intelligence -- Application of RBF Neural Network in Short-Term Load...”Accéder au texte intégral
Électronique
eBook
9
Publié 2007
Table des matières:
“... Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems...”Accéder au texte intégral
Électronique
eBook
10
Publié 2010
Table des matières:
“... Programming -- Parameter Evolution for a Particle Swarm Optimization Algorithm -- The Ant Colony Optimization...”Accéder au texte intégral
Électronique
eBook
11
Publié 2014
Table des matières:
“... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”Accéder au texte intégral
Électronique
eBook
12
Publié 2013
Table des matières:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”Accéder au texte intégral
Électronique
eBook
13
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Publié 2013
Table des matières:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Accéder au texte intégral
Électronique
eBook
14
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Publié 2006
Table des matières:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Accéder au texte intégral
Électronique
eBook
15
Publié 2007
Table des matières:
“... for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model...”Accéder au texte intégral
Électronique
eBook
16
Publié 2005
Table des matières:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Accéder au texte intégral
Électronique
eBook
17
Publié 2010
Table des matières:
“... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”Accéder au texte intégral
Électronique
eBook
18
Publié 2014
Table des matières:
“... Initialisation Method with Selection of Weights on the Basis of the Function Variability -- Soft Committee...”Accéder au texte intégral
Électronique
eBook
19
Publié 2015
Table des matières:
“... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...”Accéder au texte intégral
Électronique
eBook
20
Publié 2014
Table des matières:
“... Modeling via Probabilistic Nodes Combination -- Computer-Aided System for Automatic Classification...”Accéder au texte intégral
Électronique
eBook