Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
parameterized program » parameterized problems, parameterized array, parameterized preorder
processing computing » processing computer, processing computational, processing conditions
computing problems » compounding problems, routing problems, computers problems
program https » programs https, program has, program help
parameterized program » parameterized problems, parameterized array, parameterized preorder
processing computing » processing computer, processing computational, processing conditions
computing problems » compounding problems, routing problems, computers problems
program https » programs https, program has, program help
1
Published 2014
Table of Contents:
“... for Piecewise Affine Systems -- Reachability and Mortality Problems for Restricted Hierarchical Piecewise...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Solution Test -- Surfaces with Rational Chord Length Parameterization -- Support Function of Pythagorean...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... Decision Processes -- Trading Bounds for Memory in Games with Counters -- Decision Problems of Tree...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“.... Probabilistic Computation -- Probabilistic Automata on Finite Words: Decidable and Undecidable Problems -- Space...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Surface Reconstruction -- Finite Sample Bias of Robust Scale Estimators in Computer Vision Problems...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Parameterized Halting Problem -- Inferring Loop Invariants Using Postconditions -- ASMs and Operational...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... Parameterization -- Sub-sampling for Efficient Spectral Mesh Processing -- Active Contours with Level-Set...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Decision Processes -- All Symmetric Predicates in NSPACE(n 2) Are Stably Computable by the Mediated...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“... for Solving Complex Problems of Computational Geometry -- Rigid Body Molecular Dynamics within the Domain...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... Oracles -- The Complexity of Black-Box Ring Problems -- Lower Bounds and Parameterized Approach...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... Allocation Problems -- Vertex Disjoint Paths in Upward Planar Graphs -- On Lower Bounds for Multiplicative...”View full text
Electronic
eBook
12
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Published 2013
Table of Contents:
“... Complexity Analysis for Fork Processes -- Pure Pointer Programs and Tree Isomorphism -- A Language...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... Engine Processors -- Query Processing in Highly-Loaded Search Engines -- Indexes for Jumbled Pattern...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Model Checking -- Parameterized Verification of Infinite-State Processes with Global Conditions...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Analysis -- Image Processing, Wavelets and Neurocomputing -- Geometric Neural Computing for 2D Contour...”View full text
Electronic
eBook
16
Energy Minimization Methods in Computer Vision and Pattern Recognition 5th International Workshop...
Published 2005
Table of Contents:
“... Problem in a Marked Point Process Application -- A Computational Approach to Fisher Information Geometry...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“...Identifying Regulatory Sites Using Neighborhood Species -- Genetic Programming and Other Machine...”View full text
Electronic
eBook
18
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
19
Published 2010
Table of Contents:
“...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Subgroup Problem -- An O *(3.523k ) Parameterized Algorithm for 3-Set Packing -- Indistinguishability...”View full text
Electronic
eBook