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