Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function visibility » function possibility, function variability, function usability
program function » programme function, programs functional, program foundation
visibility https » disability https, visibility maps, visibility sets
function https » functions https, fiction https
https function » its function, sites function, ups function
function visibility » function possibility, function variability, function usability
program function » programme function, programs functional, program foundation
visibility https » disability https, visibility maps, visibility sets
function https » functions https, fiction https
https function » its function, sites function, ups function
1
Published 2005
Table of Contents:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... Revisited -- Dynamic Matrix Rank -- Graphs -- Nearly Optimal Visibility Representations of Plane Graphs...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... for References -- Dynamic Alias Protection with Aliasing Contracts -- Fine-Grained Function Visibility...”View full text
Electronic
eBook
5
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
6
Published 2007
Table of Contents:
“... Parity Games -- Tree Automata with Memory, Visibility and Structural Constraints -- Enriched ?-Calculi...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... of Bounded Value: A Parameterized Approach -- Operator Precedence and the Visibly Pushdown Property...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Synchronizing Automata and Digraphs -- Weights of Exact Threshold Functions -- Proof Systems and Transformation...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... -- Contributions -- Semi-continuous Sized Types and Termination -- Visibly Pushdown Automata: From Language...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...”View full text
Electronic
eBook
12
Table of Contents:
“... Implementation Revisited -- Delayed PC -- Implementing the Delayed PC -- Pipeline Stages and Visible Registers...”
View full text
View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... to Memory Faults -- Simple and Space-Efficient Minimal Perfect Hash Functions -- Session 4A -- A Near Linear...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“...) Probability Function for FMS IP Trace-Back Technique -- A Mechanism for Detection and Prevention...”View full text
Electronic
eBook
16
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
17
Published 2008
Table of Contents:
“... Programs for Representing Ontology Mappings -- Using Transversals for Discovering XML Functional...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... with Urgencies -- Whodunit? Causal Analysis for Counterexamples -- On the Membership Problem for Visibly Pushdown...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“...A Grammatical Representation of Visibly Pushdown Languages -- Fully Lexicalized Pregroup Grammars...”View full text
Electronic
eBook