Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computing programming » computer programming, computers programming
programming problem » programming problems
interval computing » intervals comparing, internet computing, interval counting
problem constructs » problem construction, problem constructive, problem constructing
constructs https » construction https, constructs loops, constructs arti
computing programming » computer programming, computers programming
programming problem » programming problems
interval computing » intervals comparing, internet computing, interval counting
problem constructs » problem construction, problem constructive, problem constructing
constructs https » construction https, constructs loops, constructs arti
1
Published 2013
Table of Contents:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Problems -- Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... for Computing Variants of the Longest Common Subsequence Problem -- Session 5B: Graphs -- Constructing Labeling...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“.... Probabilistic Computation -- Probabilistic Automata on Finite Words: Decidable and Undecidable Problems -- Space...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”View full text
Electronic
eBook
11
Published 2012
Table of Contents:
“... (Bulgaria).-A Computational Approach for Remediation Procedures in Horizontal Subsurface Flow Constructed...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... in Crossover Designs -- Bias in Estimating the Variance of K-Fold Cross-Validation -- Effective Construction...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... -- ASP Extensions -- Guarded Open Answer Set Programming -- External Sources of Computation for Answer...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Data -- Subdivision Depth Computation for Extra-Ordinary Catmull-Clark Subdivision Surface Patches...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“...Invited Talks -- The Computability Path Ordering: The End of a Quest -- The Joy of String Diagrams...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Problems for Probabilistic Büchi Automata -- Model-Checking ?-Regular Properties of Interval Markov Chains...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... of Nonlinear Problems -- Enriching Context-Oriented Programming with Structured Context Representation...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... -- Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming, by J. A. Sandretto, G...”View full text
Electronic
eBook