1
Published 2008
Table of Contents: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... for References -- Dynamic Alias Protection with Aliasing Contracts -- Fine-Grained Function Visibility...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... -- Contributions -- Semi-continuous Sized Types and Termination -- Visibly Pushdown Automata: From Language...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Parity Games -- Tree Automata with Memory, Visibility and Structural Constraints -- Enriched ?-Calculi...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Synchronizing Automata and Digraphs -- Weights of Exact Threshold Functions -- Proof Systems and Transformation...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... -- Property Testing Bounds for Linear and Quadratic Functions via Parity Decision Trees -- A Fast Branching...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... and Dimensional Coherence and Correlation in Multidimensional Visualization -- Efficient Compression of Visibility...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... Interpretation -- An Accurate Vertex Normal Computation Scheme -- Short Papers -- A Visibility-Based Automatic...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ...ST: Computational Bioimaging I -- Ontology-Driven Image Analysis for Histopathological Images...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ...A Grammatical Representation of Visibly Pushdown Languages -- Fully Lexicalized Pregroup Grammars...
View full text
Electronic eBook
17
by Klawonn, Frank., Klawonn, Frank.
Published 2012
Table of Contents: ... Objects -- Visible Surface Determination -- Illumination and Shading -- Special Effects and Virtual...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... with Salient Boundaries -- Fast Covariance Computation and Dimensionality Reduction for Sub-window Features...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ...IFIP SG16 Chair’s Welcome Address -- A New Framework for Entertainment Computing: From Passive...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... -- Semidefinite Programming Heuristics for Surface Reconstruction Ambiguities -- Robust Optimal Pose Estimation...
View full text
Electronic eBook