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