Εναλλακτικές αναζητήσεις:
functions computation » functions composition, function composition, functional composition
programming inductive » programming interactive, programming industrial, programming active
function computation » function computing, function decomposition, section computational
inductive methods » inductive method, induction methods, deductive methods
methods examples » methods express
1
ανά Moller, Faron., Moller, Faron., Struth, Georg.
Έκδοση 2013
Πίνακας περιεχομένων: ... Algebras and Circuits -- Predicate Logic -- Proof Strategies -- Functions -- Relations -- Inductive...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
Έκδοση 2005
Πίνακας περιεχομένων: ... of Hybrid Systems -- SOS Methods for Semi-algebraic Games and Optimization -- Regular Papers -- The Discrete...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
Πίνακας περιεχομένων: ...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
4
Έκδοση 2008
Πίνακας περιεχομένων: ... Expensive Functions -- Discriminant Analysis Methods for Microarray Data Classification...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
5
Έκδοση 2005
Πίνακας περιεχομένων: ... Parameterized Basic Kernels -- On the Limitations of Embedding Methods -- Leaving the Span -- Inductive...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
6
Έκδοση 2006
Πίνακας περιεχομένων: ... "Historic" Architectural Facade Employing Inductive Logic Programming -- Learning Stochastic Logical...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
7
Έκδοση 2007
Πίνακας περιεχομένων: ... for Principal Axes Methods? -- PCR and PLS for Clusterwise Regression on Functional Data -- A New Method...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
8
Έκδοση 2007
Πίνακας περιεχομένων: ... -- Inductive Synthesis of Recursive Functional Programs -- Training on the Job — Collecting Experience...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
9
Έκδοση 2005
Πίνακας περιεχομένων: ... Problems -- A New Hybrid NM Method and Particle Swarm Algorithm for Multimodal Function Optimization...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
10
Έκδοση 2007
Πίνακας περιεχομένων: ... Functions for Learning and Clustering -- Machine Learning in Ecosystem Informatics -- Challenge for Info...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
11
Έκδοση 2005
Πίνακας περιεχομένων: ... -- Independent Subspace Analysis on Innovations -- On Applying Tabling to Inductive Logic Programming -- Learning...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
12
Έκδοση 2007
Πίνακας περιεχομένων: ... Models -- Discriminative Sequence Labeling by Z-Score Optimization -- Fast Optimization Methods for L1...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
13
Έκδοση 2006
Πίνακας περιεχομένων: ...: Conditional Random Fields for Logical Sequences -- Unsupervised Multiple-Instance Learning for Functional...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο