Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
programming interaction » programming interactive, programming integration, programming interacting
computing programming » computer programming, computers programming
interval computing » intervals comparing, internet computing, interval counting
https » http
programming programming » programming programmed, programming program
programming interaction » programming interactive, programming integration, programming interacting
computing programming » computer programming, computers programming
interval computing » intervals comparing, internet computing, interval counting
https » http
1
Published 2008
Table of Contents:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... -- An Empirical Boosting Scheme for ROC-Based Genetic Programming Classifiers -- Confidence Intervals...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... Sensing -- Breaking the PPSZ Barrier for Unique 3-SAT -- Privately Solving Linear Programs -- How...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Using Genetic Programming: The Importance of Theorist-Practitionercomputer Interaction -- Towards...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Segmentation -- An Interactive EA for Multifractal Bayesian Denoising -- Object Detection for Computer Vision...”View full text
Electronic
eBook
11
Published 2012
Table of Contents:
“...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... of the Internet Protocol Security and Its Impact on Interactive Communications -- Investigating Software...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... and Interval Semantics for CP-Comparatives -- Temporal Propositions as Vague Predicates -- Vagueness...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Mining -- From ILP to PILP -- Computer Vision and Pattern Recognition -- Density of Closed Balls in Real...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... -- Graphics Hardware-Based Level-Set Method for Interactive Segmentation and Visualization -- Parameterization...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Recognition by Immune Neural Network -- Composing Different Models of Computation in Kepler and Ptolemy II...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”View full text
Electronic
eBook
19
Subjects:
“...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Footprinting -- Learning Network from High-Dimensional Array Data -- Computational Methods for Predicting...”View full text
Electronic
eBook