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