Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
problem parameterized » problems parameterized, improved parameterized
processing computing » processing computer, processing computational, processing conditions
parameterized array » parameterized real, parameterized program, parameterized variety
computing problem » computing problems, routing problem, computer problem
https » http
problem parameterized » problems parameterized, improved parameterized
processing computing » processing computer, processing computational, processing conditions
parameterized array » parameterized real, parameterized program, parameterized variety
computing problem » computing problems, routing problem, computer problem
https » http
1
Publicat 2013
Taula de continguts:
“... Graph Isomorphism using Parameterized Matching -- Suffix Array of Alignment: A Practical Index...”Obtenir text complet
Electrònic
eBook
2
Publicat 2006
Taula de continguts:
“... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...”Obtenir text complet
Electrònic
eBook
3
Publicat 2010
Taula de continguts:
“... -- A PTAS for the Square Tiling Problem -- On the Hardness of Counting and Sampling Center Strings...”Obtenir text complet
Electrònic
eBook
4
Publicat 2007
Taula de continguts:
“... Model Checking -- Parameterized Verification of Infinite-State Processes with Global Conditions...”Obtenir text complet
Electrònic
eBook
5
Publicat 2010
Taula de continguts:
“... to the Cleavage Site Prediction Problem in Bioinformatics -- Learning PDFA with Asynchronous Transitions...”Obtenir text complet
Electrònic
eBook
6
Publicat 2010
Taula de continguts:
“...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...”Obtenir text complet
Electrònic
eBook
7
Publicat 2007
Taula de continguts:
“... for Computing the Longest Parameterized Common Subsequence -- Fixed-Parameter Tractability of the Maximum...”Obtenir text complet
Electrònic
eBook
8
Publicat 2005
Taula de continguts:
“... Common Rigid Subsequence Problem -- Text Indexing with Errors -- A New Compressed Suffix Tree Supporting...”Obtenir text complet
Electrònic
eBook
9
Publicat 2015
Taula de continguts:
“... of a Class of Nonlinear Systems with Parameterized Unknown Dynamics -- H-infinity Control Synthesis...”Obtenir text complet
Electrònic
eBook
10
Publicat 2010
Taula de continguts:
“... Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations...”Obtenir text complet
Electrònic
eBook
11
Publicat 2015
Taula de continguts:
“... -- Parameterized Complexity of Superstring Problems -- On the Fixed Parameter Tractability and Approximability...”Obtenir text complet
Electrònic
eBook
12
Publicat 2007
Taula de continguts:
“...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...”Obtenir text complet
Electrònic
eBook
13
Publicat 2005
Taula de continguts:
“... -- Some New Directions and Questions in Parameterized Complexity -- Basic Notions of Reaction Systems -- A...”Obtenir text complet
Electrònic
eBook
14
Publicat 2014
Taula de continguts:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”Obtenir text complet
Electrònic
eBook
15
Publicat 2005
Taula de continguts:
“... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...”Obtenir text complet
Electrònic
eBook
16
Taula de continguts:
“... Randomization Problems -- 6.13 Iterative and Array Constraints -- 6.14 Atomic Stimulus Generation vs. Scenario...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
17
Publicat 2005
Taula de continguts:
“... and Ordering of Feedbacks -- Non-Linearities -- Parameterization of Complex Hydrological Systems -- 3...”Obtenir text complet
Electrònic
eBook