Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
parameterized variety » parameterized varieties, parameterized view, parameterized perfectly
parameterized array » parameterized real, parameterized program, parameterized data
computer problems » computers problems, computer problem, computing problems
parameterized variety » parameterized varieties, parameterized view, parameterized perfectly
parameterized array » parameterized real, parameterized program, parameterized data
computer problems » computers problems, computer problem, computing problems
1
Publicado 2010
Table of Contents:
“... Solution Test -- Surfaces with Rational Chord Length Parameterization -- Support Function of Pythagorean...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2006
Table of Contents:
“... Oracles -- The Complexity of Black-Box Ring Problems -- Lower Bounds and Parameterized Approach...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2013
Table of Contents:
“... -- Unsupervised Language Learning for Discovered Visual Concepts -- Parameterized Variety Based View Synthesis...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2013
Table of Contents:
“... Graph Isomorphism using Parameterized Matching -- Suffix Array of Alignment: A Practical Index...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2010
Table of Contents:
“... -- A PTAS for the Square Tiling Problem -- On the Hardness of Counting and Sampling Center Strings...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2007
Table of Contents:
“... Model Checking -- Parameterized Verification of Infinite-State Processes with Global Conditions...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2006
Table of Contents:
“... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2015
Table of Contents:
“... Inequalities forN Which is Implemented in MuPAD and Whose Computability is an Open Problem (A. Tyszka) -- Image...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2010
Table of Contents:
“... to the Cleavage Site Prediction Problem in Bioinformatics -- Learning PDFA with Asynchronous Transitions...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2010
Table of Contents:
“...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2007
Table of Contents:
“... for Computing the Longest Parameterized Common Subsequence -- Fixed-Parameter Tractability of the Maximum...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2005
Table of Contents:
“... Common Rigid Subsequence Problem -- Text Indexing with Errors -- A New Compressed Suffix Tree Supporting...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2015
Table of Contents:
“... of a Class of Nonlinear Systems with Parameterized Unknown Dynamics -- H-infinity Control Synthesis...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2010
Table of Contents:
“... Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2015
Table of Contents:
“... -- Parameterized Complexity of Superstring Problems -- On the Fixed Parameter Tractability and Approximability...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2007
Table of Contents:
“...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...”Ligazón do recurso
Electrónico
eBook
17
Table of Contents:
“... Randomization Problems -- 6.13 Iterative and Array Constraints -- 6.14 Atomic Stimulus Generation vs. Scenario...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
18
Publicado 2005
Table of Contents:
“... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2005
Table of Contents:
“... -- Some New Directions and Questions in Parameterized Complexity -- Basic Notions of Reaction Systems -- A...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2014
Table of Contents:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”Ligazón do recurso
Electrónico
eBook
- 1
- 2
- Seguinte »
- [2]