1
Publié 2006
Table des matières: ...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...
Accéder au texte intégral
Électronique eBook
2
Publié 2010
Table des matières: ... Warehousing Processes -- Information Fusion -- Uncertainty Estimation in the Fusion of Text-Based Information...
Accéder au texte intégral
Électronique eBook
3
Publié 2010
Table des matières: ... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...
Accéder au texte intégral
Électronique eBook
4
Publié 2010
Table des matières: ... Nonlinear Predictive Control Based on State-Space Neural Models -- Relational Type-2 Interval Fuzzy Systems...
Accéder au texte intégral
Électronique eBook
5
Publié 2014
Table des matières: ... in MPI Programs -- Proof Patterns for Formal Methods -- Efficient Runtime Monitoring with Metric Temporal...
Accéder au texte intégral
Électronique eBook
6
Publié 2012
Table des matières: ... for Images -- Nearly Optimal Control for Nonlinear Systems with Dead-Zone Control Input Based...
Accéder au texte intégral
Électronique eBook
7
Publié 2014
Table des matières: ...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...
Accéder au texte intégral
Électronique eBook
8
Publié 2008
Table des matières: ...Genetic Programming: Theory and Practice -- Better Solutions Faster: Soft Evolution of Robust...
Accéder au texte intégral
Électronique eBook
9
Publié 2005
Table des matières: ... for Magnetohydrodynamics -- Numerical Methods for Nonlinear Experimental Design -- Controlling the Continuos Positive...
Accéder au texte intégral
Électronique eBook
10
Publié 2006
Table des matières: ... Models for Audio-Visual Speech Analysis and Recognition -- An Extensive Method to Detect the Image...
Accéder au texte intégral
Électronique eBook
11
Publié 2012
Table des matières: ... Difference Method Programs -- On a Relationship between Typical Behavior and Initial Conditions of Lagrange’s...
Accéder au texte intégral
Électronique eBook
12
Publié 2014
Table des matières: ....-Semiparametric Bayesian Small Area Estimation Based on Dirichlet Process Priors -- Bootstrap confidence intervals...
Accéder au texte intégral
Électronique eBook
13
Publié 2011
Table des matières: ... Literate Programming -- A New Method for Inner Estimation of Solution Sets to Interval Linear Systems...
Accéder au texte intégral
Électronique eBook
14
Publié 2014
Table des matières: ... Method of Ranking for Intuitionistic Fuzzy Numbers -- Solution of Multi Objective Linear Programming...
Accéder au texte intégral
Électronique eBook
15
Publié 2014
Table des matières: ... -- Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming, by J. A. Sandretto, G...
Accéder au texte intégral
Électronique eBook
16
Publié 2005
Table des matières: ... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...
Accéder au texte intégral
Électronique eBook
17
Sujets: ...Statistical Theory and Methods. https://scigraph.springernature.com/ontologies/product-market-codes...
Accéder au texte intégral
Électronique eBook
18
Publié 2008
Table des matières: ... -- Structural Operational Semantics for Stochastic Process Calculi -- Compositional Methods for Information...
Accéder au texte intégral
Électronique eBook
19
Publié 2006
Table des matières: ... -- Fuzzy K-medoids clustering models for fuzzy multivariate time trajectories -- Bootstrap methods...
Accéder au texte intégral
Électronique eBook
20
Publié 2007
Table des matières: ... Process -- Rotation Invariant Texture Classification Using Gabor Wavelets -- Harmful Contents...
Accéder au texte intégral
Électronique eBook