Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programmed constructive » programs constructive, programmed instruction, program construction
methods processing » methods preprocessing, methods proceedings, methods processes
constructive https » construction https, constructive type, constructive help
interval methods » internal methods, interval method, integral methods
programmed constructive » programs constructive, programmed instruction, program construction
methods processing » methods preprocessing, methods proceedings, methods processes
constructive https » construction https, constructive type, constructive help
interval methods » internal methods, interval method, integral methods
1
Published 2007
Table of Contents:
“...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Conversions and Interval Arithmetic -- An Interval Method for Seeking the Nash Equilibria of Non-cooperative...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... in MPI Programs -- Proof Patterns for Formal Methods -- Efficient Runtime Monitoring with Metric Temporal...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“... Sequential Data Mining Method for Modelling Solar Magnetic Cycles -- Steady-State Visually Evoked Potential...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... for Web Usage Mining -- Knowledge-Based Decision Support in Oil Well Drilling -- A New Method to Construct...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Models for Audio-Visual Speech Analysis and Recognition -- An Extensive Method to Detect the Image...”View full text
Electronic
eBook
9
Table of Contents:
“... in regression -- Model-free prediction in regression -- Model-free vs. model-based confidence intervals...”
View full text
View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Fourier Series Methods -- Conditions for the Validity of F-Ratio Tests for Treatment and Carryover Effects...”View full text
Electronic
eBook
12
Subjects:
“...Statistical Theory and Methods. https://scigraph.springernature.com/ontologies/product-market-codes...”
View full text
View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... -- Methodical Construction of Symbolic Diagrams -- Machine Learning and Data Mining -- Bi-objective Memetic...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Process -- Rotation Invariant Texture Classification Using Gabor Wavelets -- Harmful Contents...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Platform -- A Linear Time Algorithm for Constructing Tree 4-Spanner in 2-Trees -- Task Scheduling Algorithm...”View full text
Electronic
eBook
17
Published 2012
Table of Contents:
“... Video Stabilization -- Automatic Construction of Invariant Features Using Genetic Programming for Edge...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Parameterization -- Sub-sampling for Efficient Spectral Mesh Processing -- Active Contours with Level-Set...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Comparison of Three Voting Methods for Bagging with the MLEM2 Algorithm -- Simplified Self-Adapting Skip...”View full text
Electronic
eBook