Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
decisions functionality » decisions functioning, defining functionality, design functionality
functionality function » functionals function, functionaries function, functional functions
programming decisions » programming decision, programming design, programming session
parallel programming » parallel processing
function https » functions https, fiction https
decisions functionality » decisions functioning, defining functionality, design functionality
functionality function » functionals function, functionaries function, functional functions
programming decisions » programming decision, programming design, programming session
parallel programming » parallel processing
function https » functions https, fiction https
1
Argitaratua 2013
Aurkibidea:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2007
Aurkibidea:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2005
Aurkibidea:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2010
Aurkibidea:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2010
Aurkibidea:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2005
Aurkibidea:
“... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2005
Aurkibidea:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2013
Aurkibidea:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2010
Aurkibidea:
“... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2008
Aurkibidea:
“... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2006
Aurkibidea:
“... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2010
Aurkibidea:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2008
Aurkibidea:
“... in Cognitive Systems Architectures -- Full Papers -- Application of Naturalistic Decision Making to Emergency...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2005
Aurkibidea:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2008
Aurkibidea:
“... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2005
Aurkibidea:
“... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”Testu osoa
Baliabide elektronikoa
eBook
17
nork Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Argitaratua 2007
Aurkibidea:
“... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”Argitaratua 2007
Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2008
Aurkibidea:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2006
Aurkibidea:
“... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2015
Aurkibidea:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- 3
- 4
- Hurrengoa »
- [4]