Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
parameterized array » parameterized real, parameterized program, parameterized variety
computer problems » computers problems, computing problems, computer programs
computer problem » computers problems, computing problem, computer program
https » http
parameterized array » parameterized real, parameterized program, parameterized variety
computer problems » computers problems, computing problems, computer programs
computer problem » computers problems, computing problem, computer program
https » http
1
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
2
Publicado 2007
Table of Contents:
“... Model Checking -- Parameterized Verification of Infinite-State Processes with Global Conditions...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2010
Table of Contents:
“...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...”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:
“... to the Cleavage Site Prediction Problem in Bioinformatics -- Learning PDFA with Asynchronous Transitions...”Ligazón do recurso
Electrónico
eBook
6
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
7
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
8
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
9
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
10
Publicado 2015
Table of Contents:
“... -- Parameterized Complexity of Superstring Problems -- On the Fixed Parameter Tractability and Approximability...”Ligazón do recurso
Electrónico
eBook
11
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
12
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
13
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
14
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
15
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
16
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
17
Publicado 2005
Table of Contents:
“... and Ordering of Feedbacks -- Non-Linearities -- Parameterization of Complex Hydrological Systems -- 3...”Ligazón do recurso
Electrónico
eBook