Search Results - processing computational problems parameterized array https

1

String Processing and Information Retrieval 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings /

Published 2013

Table of Contents: “... Graph Isomorphism using Parameterized Matching -- Suffix Array of Alignment: A Practical Index...”
View full text

Electronic eBook

2

String Processing and Information Retrieval 17th International Symposium, SPIRE 2010, Los Cabos, Mexico, October 11-13, 2010, Proceedings /

Published 2010

Table of Contents: “... -- A PTAS for the Square Tiling Problem -- On the Hardness of Counting and Sampling Center Strings...”
View full text

Electronic eBook

3

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Published 2007

Table of Contents: “... Model Checking -- Parameterized Verification of Infinite-State Processes with Global Conditions...”
View full text

Electronic eBook

4

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /

Published 2006

Table of Contents: “... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...”
View full text

Electronic eBook

5

Grammatical Inference: Theoretical Results and Applications 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010. Proceedings /

Published 2010

Table of Contents: “... to the Cleavage Site Prediction Problem in Bioinformatics -- Learning PDFA with Asynchronous Transitions...”
View full text

Electronic eBook

6

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory...

Published 2010

Table of Contents: “...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...”
View full text

Electronic eBook

7

Combinatorial Pattern Matching 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007, Proceedings /

Published 2007

Table of Contents: “... for Computing the Longest Parameterized Common Subsequence -- Fixed-Parameter Tractability of the Maximum...”
View full text

Electronic eBook

8

Combinatorial Pattern Matching 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings /

Published 2005

Table of Contents: “... Common Rigid Subsequence Problem -- Text Indexing with Errors -- A New Compressed Suffix Tree Supporting...”
View full text

Electronic eBook

9

Advances in Neural Networks – ISNN 2015 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings /

Published 2015

Table of Contents: “... of a Class of Nonlinear Systems with Parameterized Unknown Dynamics -- H-infinity Control Synthesis...”
View full text

Electronic eBook

10

Combinatorial Optimization and Applications 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “... Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations...”
View full text

Electronic eBook

11

Combinatorial Pattern Matching 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings /

Published 2015

Table of Contents: “... -- Parameterized Complexity of Superstring Problems -- On the Fixed Parameter Tractability and Approximability...”
View full text

Electronic eBook

12

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of...

Published 2007

Table of Contents: “...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...”
View full text

Electronic eBook

13

Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings /

Published 2005

Table of Contents: “... -- Some New Directions and Questions in Parameterized Complexity -- Basic Notions of Reaction Systems -- A...”
View full text

Electronic eBook

14

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Published 2014

Table of Contents: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
View full text

Electronic eBook

15

Database and Expert Systems Applications 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Published 2005

Table of Contents: “... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...”
View full text

Electronic eBook

16

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /

by Spear, Chris., Spear, Chris.
Published 2008

Table of Contents: “... Randomization Problems -- 6.13 Iterative and Array Constraints -- 6.14 Atomic Stimulus Generation vs. Scenario...”
View full text

Electronic eBook

17

Coupled Models for the Hydrological Cycle Integrating Atmosphere, Biosphere and Pedosphere /

Published 2005

Table of Contents: “... and Ordering of Feedbacks -- Non-Linearities -- Parameterization of Complex Hydrological Systems -- 3...”
View full text

Electronic eBook

Narrow Search