1
Yazar: Moller, Faron., Moller, Faron., Struth, Georg.
Baskı/Yayın Bilgisi 2013
İçindekiler: ... Algebras and Circuits -- Predicate Logic -- Proof Strategies -- Functions -- Relations -- Inductive...
Tam Metin Erişim
Elektronik Ekitap
2
Baskı/Yayın Bilgisi 2005
İçindekiler: ... of Hybrid Systems -- SOS Methods for Semi-algebraic Games and Optimization -- Regular Papers -- The Discrete...
Tam Metin Erişim
Elektronik Ekitap
3
Yazar: O'Donnell, John., O'Donnell, John., Hall, Cordelia., Page, Rex.
Baskı/Yayın Bilgisi 2006
İçindekiler: ...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...
Tam Metin Erişim
Elektronik Ekitap
4
Baskı/Yayın Bilgisi 2008
İçindekiler: ... Expensive Functions -- Discriminant Analysis Methods for Microarray Data Classification...
Tam Metin Erişim
Elektronik Ekitap
5
Baskı/Yayın Bilgisi 2005
İçindekiler: ... Parameterized Basic Kernels -- On the Limitations of Embedding Methods -- Leaving the Span -- Inductive...
Tam Metin Erişim
Elektronik Ekitap
6
Baskı/Yayın Bilgisi 2006
İçindekiler: ... "Historic" Architectural Facade Employing Inductive Logic Programming -- Learning Stochastic Logical...
Tam Metin Erişim
Elektronik Ekitap
7
Baskı/Yayın Bilgisi 2007
İçindekiler: ... for Principal Axes Methods? -- PCR and PLS for Clusterwise Regression on Functional Data -- A New Method...
Tam Metin Erişim
Elektronik Ekitap
8
Baskı/Yayın Bilgisi 2007
İçindekiler: ... -- Inductive Synthesis of Recursive Functional Programs -- Training on the Job — Collecting Experience...
Tam Metin Erişim
Elektronik Ekitap
9
Baskı/Yayın Bilgisi 2005
İçindekiler: ... Problems -- A New Hybrid NM Method and Particle Swarm Algorithm for Multimodal Function Optimization...
Tam Metin Erişim
Elektronik Ekitap
10
Baskı/Yayın Bilgisi 2007
İçindekiler: ... Functions for Learning and Clustering -- Machine Learning in Ecosystem Informatics -- Challenge for Info...
Tam Metin Erişim
Elektronik Ekitap
11
Baskı/Yayın Bilgisi 2005
İçindekiler: ... -- Independent Subspace Analysis on Innovations -- On Applying Tabling to Inductive Logic Programming -- Learning...
Tam Metin Erişim
Elektronik Ekitap
12
Baskı/Yayın Bilgisi 2007
İçindekiler: ... Models -- Discriminative Sequence Labeling by Z-Score Optimization -- Fast Optimization Methods for L1...
Tam Metin Erişim
Elektronik Ekitap
13
Baskı/Yayın Bilgisi 2006
İçindekiler: ...: Conditional Random Fields for Logical Sequences -- Unsupervised Multiple-Instance Learning for Functional...
Tam Metin Erişim
Elektronik Ekitap