Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program termination » program verification, proving termination
termination https » termination sets, termination sites, termination graphs
function solution » function evolution, function section, functional evolution
https function » its function, sites function, ups function
solution https » pollution https, sedation https, evaluation https
program termination » program verification, proving termination
termination https » termination sets, termination sites, termination graphs
function solution » function evolution, function section, functional evolution
https function » its function, sites function, ups function
solution https » pollution https, sedation https, evaluation https
1
Published 2005
Table of Contents:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”View full text
Electronic
eBook
2
Subjects:
“...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...”
View full text
View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... -- Static Analysis -- A SAT-Based Approach to Size Change Termination with Global Ranking Functions...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... Functional Worst Case Constant Time Catenable Sorted Lists -- Taxes for Linear Atomic Congestion Games...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...Convex Optimization -- Copositive Programming – a Survey -- A Robust H? Quasi-LPV Approach...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... State Machines and Simple Functions -- FIRE Station: An Environment for Manipulating Finite Automata...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Solution of EOQ Problem -- Linear Reformulations of Integer Quadratic Programs -- Control of Some Graph...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Bounds for ?-Backbone Colorings Along Matchings and Stars -- About the Termination Detection...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... of Novel Stochastic Methods of Function Recovery -- Automatic Face Analysis System Based on Face...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... -- A Genetic Algorithm with Multiple Operators for Solving the Terminal Assignment Problem...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... with multiplicity structures -- Signature-based Method of Deciding Program Termination -- High-precision eigenvalue...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... for Principal Axes Methods? -- PCR and PLS for Clusterwise Regression on Functional Data -- A New Method...”View full text
Electronic
eBook
17
Published 2015
Table of Contents:
“... Function Projective Synchronization of Unknown Cohen-Grossberg Neural Networks with Time Delays and Noise...”View full text
Electronic
eBook