Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
intelligence computing » intelligent computing, intelligence computer, intelligence combining
program functionality » protein functionality, programs functional, supra functionality
computing proceeding » computing proceedings, computing providing, computing protecting
functionality https » functionality maps, functionality needs, functionality pt
proceeding program » proceedings program, processing program, processing programs
1
Beeld op de omslag
Gepubliceerd in 2008
Inhoudsopgave: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
2
Beeld op de omslag
Gepubliceerd in 2006
Inhoudsopgave: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
3
Beeld op de omslag
Gepubliceerd in 2010
Inhoudsopgave: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
4
Beeld op de omslag
Gepubliceerd in 2014
Onderwerpen: “...Programming languages (Electronic computers)....”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
5
Beeld op de omslag
Gepubliceerd in 2012
Onderwerpen: “...Programming languages (Electronic computers)....”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
6
Beeld op de omslag
Gepubliceerd in 2011
Onderwerpen: “...Programming languages (Electronic computers)....”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
7
Beeld op de omslag
Gepubliceerd in 2010
Inhoudsopgave: “...Applications of Computational Intelligence -- A New Fault Detection Method of Induction Motor -- A...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
8
Beeld op de omslag
Gepubliceerd in 2010
Inhoudsopgave: “...Applications of Artificial Intelligence -- Application of RBF Neural Network in Short-Term Load...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
9
Beeld op de omslag
Gepubliceerd in 2007
Inhoudsopgave: “... Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
10
Beeld op de omslag
Gepubliceerd in 2010
Inhoudsopgave: “... Programming -- Parameter Evolution for a Particle Swarm Optimization Algorithm -- The Ant Colony Optimization...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
11
Beeld op de omslag
Gepubliceerd in 2014
Inhoudsopgave: “... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
12
Beeld op de omslag
Gepubliceerd in 2013
Inhoudsopgave: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
13
Beeld op de omslag
Gepubliceerd in 2013
Inhoudsopgave: “... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
14
Beeld op de omslag
Gepubliceerd in 2006
Inhoudsopgave: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
15
Beeld op de omslag
Gepubliceerd in 2007
Inhoudsopgave: “... for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
16
Beeld op de omslag
Gepubliceerd in 2005
Inhoudsopgave: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
17
Beeld op de omslag
Gepubliceerd in 2010
Inhoudsopgave: “... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
18
Beeld op de omslag
Gepubliceerd in 2014
Inhoudsopgave: “... Initialisation Method with Selection of Weights on the Basis of the Function Variability -- Soft Committee...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
19
Beeld op de omslag
Gepubliceerd in 2015
Inhoudsopgave: “... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
20
Beeld op de omslag
Gepubliceerd in 2014
Inhoudsopgave: “... Modeling via Probabilistic Nodes Combination -- Computer-Aided System for Automatic Classification...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
Zoekinstrumenten: Abonneren op RSS-datastromen — Zoekopdracht versturen — Sla zoekopdracht op